Skip to content
Kani CI

Only do cleanup on Ubuntu, debug output #136

Sign in to view logs

Only do cleanup on Ubuntu, debug output

Only do cleanup on Ubuntu, debug output #136

Triggered via push August 23, 2023 06:59
@tautschnigtautschnig
pushed 2b6d558
disk-space
Status Failure
Total duration 8m 56s
Artifacts 1

kani.yml

on: push
write-json-symtab-regression
1m 32s
write-json-symtab-regression
benchcomp-tests
39s
benchcomp-tests
perf
12s
perf
bookrunner
20s
bookrunner
releasebundle-ubuntu
1m 58s
releasebundle-ubuntu
Matrix: regression
Matrix: releasebundle-macos
Fit to window
Zoom out
Zoom in

Annotations

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

Artifacts

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