use correct compiler on CI
@@ -26,5 +26,3 @@ jobs:
run: RUST_NIGHTLY=nightly-2021-02-14 ./lib/get_func_stats.sh
- name: Build and test F* compiler
run: cargo clean && cd language && cargo +nightly test --verbose
- env:
- RUST_NIGHTLY: nightly
