Skip to content
CI Checks

Make CBMC use 64 core runners #7027

Sign in to view logs

Make CBMC use 64 core runners

Make CBMC use 64 core runners #7027

Triggered via push February 6, 2026 23:57
@AniruddhaKanhereAniruddhaKanhere
pushed bd73238
main
Status Success
Total duration 14m 53s
Artifacts –

ci.yml

on: push
unittest
5m 44s
unittest
spell-check
1m 28s
spell-check
formatting
17s
formatting
doxygen
27s
doxygen
verify-manifest
22s
verify-manifest
link-verifier
14m 49s
link-verifier
build-checks
1m 36s
build-checks
complexity
12s
complexity
git-secrets
8s
git-secrets
proof_ci
proof_ci
Fit to window
Zoom out
Zoom in