[WIP]

Author: bjorn3

.github/workflows/main.yml

@@ -171,7 +171,7 @@ jobs:
         # Enable extra checks
         export CG_CLIF_ENABLE_VERIFIER=1
 
-        ./test.sh
+        rustup run nightly-2022-03-25 bash ./test.sh
 
     - name: Package prebuilt cg_clif
       # don't use compression as xzip isn't supported by tar on windows and bzip2 hangs

scripts/config.sh

@@ -4,5 +4,4 @@ set -e
 
 export LD_LIBRARY_PATH="$(rustc --print sysroot)/lib:$LD_LIBRARY_PATH"
 export DYLD_LIBRARY_PATH="$(rustc --print sysroot)/lib:$DYLD_LIBRARY_PATH"
-export PATH="$(rustc --print sysroot)/bin;$PATH"
 ls $(rustc --print sysroot)/bin