Update our CI to run on MacOS 12 instead of 11 #5563
kani.yml
on: pull_request
write-json-symtab-regression
17m 38s
benchcomp-tests
6m 10s
perf
47m 25s
bookrunner
28m 23s
releasebundle-ubuntu
29m 32s
Matrix: regression
Matrix: releasebundle-macos
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
kani-latest-x86_64-apple-darwin.tar.gz
Expired
|
91.2 MB |
|
kani-latest-x86_64-unknown-linux-gnu.tar.gz
Expired
|
113 MB |
|