fix: remove x86_64-unknown-linux-musl target (glibc/musl LLVM incompatibility)

Co-Authored-By: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com>

Author: AkiraTamai

.github/workflows/release.yml

@@ -21,10 +21,6 @@ jobs:
           - target: x86_64-unknown-linux-gnu
             os: ubuntu-latest
             name: mumei-x86_64-unknown-linux-gnu
-          - target: x86_64-unknown-linux-musl
-            os: ubuntu-latest
-            name: mumei-x86_64-unknown-linux-musl
-            musl: true
           - target: aarch64-unknown-linux-gnu
             os: ubuntu-24.04-arm
             name: mumei-aarch64-unknown-linux-gnu
@@ -36,7 +32,7 @@ jobs:
         with:
           targets: ${{ matrix.target }}
       - name: Install system dependencies (Ubuntu)
-        if: runner.os == 'Linux' && !matrix.musl
+        if: runner.os == 'Linux'
         run: |
           sudo apt-get update
           sudo apt-get install -y libz3-dev pkg-config libssl-dev libzstd-dev
@@ -48,36 +44,6 @@ jobs:
           sudo apt-get install -y llvm-17-dev libclang-17-dev libpolly-17-dev
           echo "LLVM_SYS_170_PREFIX=/usr/lib/llvm-17" >> $GITHUB_ENV
           echo "LIBCLANG_PATH=/usr/lib/llvm-17/lib" >> $GITHUB_ENV
-      - name: Install musl toolchain and static dependencies
-        if: matrix.musl
-        run: |
-          sudo apt-get update
-          sudo apt-get install -y musl-tools pkg-config libzstd-dev cmake ninja-build python3
-          # LLVM 17 from official apt repo
-          wget -qO- https://apt.llvm.org/llvm-snapshot.gpg.key | sudo tee /etc/apt/trusted.gpg.d/apt.llvm.org.asc > /dev/null
-          codename=$(lsb_release -cs)
-          echo "deb http://apt.llvm.org/${codename}/ llvm-toolchain-${codename}-17 main" | sudo tee /etc/apt/sources.list.d/llvm-17.list > /dev/null
-          sudo apt-get update
-          sudo apt-get install -y llvm-17-dev libclang-17-dev libpolly-17-dev
-          echo "LLVM_SYS_170_PREFIX=/usr/lib/llvm-17" >> $GITHUB_ENV
-          echo "LIBCLANG_PATH=/usr/lib/llvm-17/lib" >> $GITHUB_ENV
-          # Build Z3 as a static library for musl compatibility
-          Z3_VERSION=4.13.4
-          curl -sL https://github.com/Z3Prover/z3/archive/refs/tags/z3-${Z3_VERSION}.tar.gz | tar xz
-          cd z3-z3-${Z3_VERSION}
-          mkdir build && cd build
-          cmake -G Ninja .. -DCMAKE_INSTALL_PREFIX=/usr/local/z3-static \
-            -DZ3_BUILD_LIBZ3_SHARED=OFF \
-            -DCMAKE_C_COMPILER=musl-gcc \
-            -DCMAKE_CXX_COMPILER=g++ \
-            -DCMAKE_POSITION_INDEPENDENT_CODE=ON
-          ninja -j$(nproc)
-          sudo ninja install
-          echo "Z3_SYS_Z3_HEADER=/usr/local/z3-static/include/z3.h" >> $GITHUB_ENV
-          echo "Z3_SYS_Z3_LIB_DIR=/usr/local/z3-static/lib" >> $GITHUB_ENV
-          # z3-sys build.rs only emits rustc-link-search with static-link-z3 feature;
-          # we must add the search path manually via RUSTFLAGS
-          echo "RUSTFLAGS=-L /usr/local/z3-static/lib" >> $GITHUB_ENV
       - name: Install system dependencies (macOS)
         if: runner.os == 'macOS'
         run: |