Skip to content
Release Bundle

expect() does not take format strings #122

Sign in to view logs

expect() does not take format strings

expect() does not take format strings #122

Triggered via pull request November 8, 2023 00:12
@zhassan-awszhassan-aws
synchronize #2865
matthiaskrgr:func
Status Success
Total duration 16m 43s
Artifacts 4

release.yml

on: pull_request
BuildBundle-Linux
14m 20s
BuildBundle-Linux
BuildBundle-MacOs
7m 42s
BuildBundle-MacOs
TestAlternativePlatforms
1m 53s
TestAlternativePlatforms
Matrix: TestBundle
Release
0s
Release
Package Docker
0s
Package Docker
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
kani-latest-x86_64-apple-darwin.tar.gz Expired
89 MB
kani-latest-x86_64-unknown-linux-gnu.tar.gz Expired
110 MB
linux-kani-verifier.crate Expired
19.8 KB
macos-12-kani-verifier.crate Expired
19.8 KB