CI: Use Rust stable and exclude Win32 (linker issue)

cryspen · Jun 11, 2024 · 8000575 · 8000575
1 parent 8fdf171
commit 8000575
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/kem.yml b/.github/workflows/kem.yml
@@ -31,6 +31,8 @@ jobs:
             os: "macos-latest"
           - bits: 32
             os: "macos-13"
+          - bits: 32 # FIXME: Linking isn't working here yet for hacl #42
+            os: "windows-latest"
 
     runs-on: ${{ matrix.os }}
     defaults:
@@ -44,9 +46,6 @@ jobs:
       - run: echo "RUST_TARGET_FLAG=" > $GITHUB_ENV
         if: ${{ matrix.bits == 64 }}
 
-      - name: 🛠️ Setup Rust Nightly
-        run: rustup toolchain install nightly
-
       - name: 🛠️ Setup Ubuntu x86
         if: ${{ matrix.bits == 32 &&  matrix.os == 'ubuntu-latest' }}
         run: |