Skip to content

Nightly: CBMC Latest #213

Nightly: CBMC Latest

Nightly: CBMC Latest #213

Annotations

1 warning

regression (macos-12)

succeeded Feb 23, 2024 in 35m 4s
Set up job
1s
Checkout Kani under "kani"
2s
Setup Kani Dependencies
1m 44s
Build Kani
3m 3s
Checkout CBMC under "cbmc"
13s
Build CBMC
11m 19s
Execute Kani regressions
18m 36s
Post Checkout CBMC under "cbmc"
0s
Post Checkout Kani under "kani"
0s
Complete job
0s