[v4.2.0] Update version number and kernel version #6503
tony-josi-awsci.yml
on: pull_request
unittest
39s
spell-check
1m 30s
formatting
13s
doxygen
22s
verify-manifest
15s
link-verifier
1m 37s
build-checks
1m 6s
complexity
25s
git-secrets
5s
proof_ci
6m 27s
Annotations
4 errors
|
verify-manifest
Process completed with exit code 1.
|
|
unittest
Process completed with exit code 1.
|
|
proof_ci
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
|
|
proof_ci
The operation was canceled.
|