Skip to content
Kani CI

Update RFC template #1083

Sign in to view logs

Update RFC template

Update RFC template #1083

Triggered via push August 28, 2023 23:02
@celinvalcelinval
pushed 8f469b3
issue-xxxx-rfc
Status Failure
Total duration 37m 10s
Artifacts 1

kani.yml

on: push
write-json-symtab-regression
34s
write-json-symtab-regression
benchcomp-tests
1m 53s
benchcomp-tests
perf
48s
perf
bookrunner
1m 45s
bookrunner
releasebundle-ubuntu
35m 38s
releasebundle-ubuntu
Matrix: regression
Matrix: releasebundle-macos
Fit to window
Zoom out
Zoom in

Annotations

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

Artifacts

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