Attempt-2 #333
aggargci.yml
on: push
git-secrets
1m 44s
formatting
34s
spell-check
2m 44s
doxygen
2m 18s
verify-manifest
2m 13s
memory-statistics
1m 46s
proof_ci
0s
Annotations
1 error
|
proof_ci
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s
|