Skip to content
Kani CI

Fix missing shell #130

Sign in to view logs

Fix missing shell

Fix missing shell #130

Triggered via push August 18, 2023 17:39
@tautschnigtautschnig
pushed 4ea8d58
cleanup-runner
Status Failure
Total duration 38m 56s
Artifacts 2

kani.yml

on: push
write-json-symtab-regression
2m 22s
write-json-symtab-regression
benchcomp-tests
2m 42s
benchcomp-tests
perf
4m 41s
perf
bookrunner
2m 25s
bookrunner
releasebundle-ubuntu
38m 44s
releasebundle-ubuntu
Matrix: regression
Matrix: releasebundle-macos
Fit to window
Zoom out
Zoom in

Annotations

7 errors
regression (ubuntu-20.04)
Process completed with exit code 1.
regression (ubuntu-22.04)
The operation was canceled.
regression (macos-11)
The operation was canceled.
write-json-symtab-regression
Process completed with exit code 1.
bookrunner
Process completed with exit code 1.
benchcomp-tests
Process completed with exit code 1.
perf
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
kani-latest-x86_64-apple-darwin.tar.gz Expired
89.8 MB
kani-latest-x86_64-unknown-linux-gnu.tar.gz Expired
110 MB