Skip to content
Kani Extra

Setup/CI: cleanup Ubuntu 18.04 and cbmc-viewer left-overs and enable 24.04 #2774

Sign in to view logs

Setup/CI: cleanup Ubuntu 18.04 and cbmc-viewer left-overs and enable 24.04

Setup/CI: cleanup Ubuntu 18.04 and cbmc-viewer left-overs and enable 24.04 #2774

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Auto Label
7s
Verification Benchmarks
0s
7s