Skip to content

cargo-creusot: Disable incremental compilation #4424

cargo-creusot: Disable incremental compilation

cargo-creusot: Disable incremental compilation #4424

Annotations

2 warnings

why3

succeeded Dec 4, 2024 in 4m 17s
Set up job
1s
Run actions/checkout@v2
1s
Fetch target branch
0s
Run actions/cache@v2
7s
Run actions/cache@v2
1s
download why3 and why3find
1s
setup opam PATH
2s
run cargo creusot setup install
0s
Run cargo test --test why3 "" -- --replay=none --diff-from=origin/master
31s
Run cargo test --test why3 "" -- --skip-unstable
3m 27s
Post Run actions/cache@v2
0s
Post Run actions/cache@v2
2s
Post Run actions/checkout@v2
0s
Complete job
0s