[pull] main from aws:main #38
pull[bot]ci.yml
on: pull_request
unittest
1m 32s
complexity
51s
doxygen
22s
spell-check
1m 28s
formatting
0s
git-secrets
5s
memory_statistics
34s
link-verifier
5m 56s
verify-manifest
6s
proof_ci
0s
Annotations
2 errors
|
formatting
This is a scheduled Ubuntu 20.04 retirement. Ubuntu 20.04 LTS runner will be removed on 2025-04-15. For more details, see https://github.com/actions/runner-images/issues/11101
|
|
proof_ci
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s
|