From 8000575c316845ae1fb743e41eeffc2423ddd394 Mon Sep 17 00:00:00 2001
From: Jonas Schneider-Bensch <jonas@cryspen.com>
Date: Tue, 11 Jun 2024 11:55:55 +0200
Subject: [PATCH] CI: Use Rust stable and exclude Win32 (linker issue)

---
 .github/workflows/kem.yml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/kem.yml b/.github/workflows/kem.yml
index cc1aea756..7c6e67f60 100644
--- 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: |