Adjust proof tooling to support CBMC v6 #6618
ci.yml
on: pull_request
unittest
5m 19s
spell-check
1m 3s
formatting
12s
doxygen
21s
verify-manifest
21s
link-verifier
1m 17s
build-checks
1m 0s
complexity
20s
git-secrets
4s
proof_ci
6h 0m
Annotations
1 error
proof_ci
The job running on runner cbmc_ubuntu-latest_16-core_e253a646b4db has exceeded the maximum execution time of 360 minutes.
|