Address some PR comments #616
kani.yml
on: push
write-json-symtab-regression
17m 40s
benchcomp-tests
7m 27s
perf
39m 55s
bookrunner
32m 34s
releasebundle-ubuntu
35m 51s
perf-benchcomp
2h 15m
Matrix: regression
Matrix: releasebundle-macos
Annotations
1 error
perf-benchcomp
Process completed with exit code 1.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
kani-latest-x86_64-apple-darwin.tar.gz
Expired
|
87.8 MB |
|
kani-latest-x86_64-unknown-linux-gnu.tar.gz
Expired
|
108 MB |
|