Update kernel submodule #942
ci.yml
on: push
git-secrets
1m 17s
formatting
0s
spell-check
2m 0s
doxygen
1m 36s
verify-manifest
2m 20s
memory-statistics
1m 26s
proof_ci
0s
Annotations
3 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
|
|
verify-manifest
Process completed with exit code 1.
|
|
proof_ci
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s
|