Skip to content
Kani CI

Add release notes for 0.36.0 #749

Sign in to view logs

Add release notes for 0.36.0

Add release notes for 0.36.0 #749

Triggered via push September 6, 2023 20:34
@adpaco-awsadpaco-aws
pushed 85652de
release-0.36.0
Status Success
Total duration 48m 41s
Artifacts 2
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

kani.yml

on: push
write-json-symtab-regression
19m 28s
write-json-symtab-regression
benchcomp-tests
5m 43s
benchcomp-tests
perf
48m 28s
perf
bookrunner
35m 23s
bookrunner
releasebundle-ubuntu
35m 6s
releasebundle-ubuntu
Matrix: regression
Matrix: releasebundle-macos
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
releasebundle-macos (macos-11)
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/f43a0e5ff2bd294095638e18286ca9a3d1956744'. Error: Connection refused (api.github.com:443)
releasebundle-macos (macos-11)
Back off 19.985 seconds before retry.

Artifacts

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