Test another toolchain

dafny-lang · Oct 28, 2024 · 59c57d5 · 59c57d5
1 parent 862f328
commit 59c57d5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/integration-tests-reusable.yml b/.github/workflows/integration-tests-reusable.yml
@@ -129,7 +129,7 @@ jobs:
 #      run: |
 #        rm dafny/Test/libraries/lit.site.cfg # we remove the lit configuration file in the library repo (a git submodule) to prevent override
     - name: Use the default Rust linker
-      run: rustup default stable-x86_64-pc-windows-gnu
+      run: rustup default stable-x86_64-unknown-linux-gnu
     - name: Create release
       if: inputs.all_platforms
       run: |