Skip to content

More debug

More debug #137

Triggered via push August 23, 2023 07:02
Status Failure
Total duration 9m 7s
Artifacts 1

kani.yml

on: push
Matrix: regression
Matrix: releasebundle-macos
Fit to window
Zoom out
Zoom in

Annotations

8 errors
write-json-symtab-regression
Process completed with exit code 1.
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.
perf
Process completed with exit code 1.
bookrunner
Process completed with exit code 1.
releasebundle-ubuntu
Process completed with exit code 2.
benchcomp-tests
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
kani-latest-x86_64-apple-darwin.tar.gz Expired
89.7 MB