Downgrade return-mismatch error to warning #335
aggargci.yml
on: push
git-secrets
1m 16s
formatting
45s
spell-check
2m 3s
doxygen
3m 7s
verify-manifest
2m 10s
memory-statistics
1m 42s
proof_ci
0s
Annotations
1 error
|
proof_ci
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s
|