Merge branch 'main' into update_kernel_submodule #312
ci.yml
on: push
git-secrets
1m 41s
formatting
20s
spell-check
1m 32s
doxygen
1m 55s
verify-manifest
2m 46s
memory-statistics
1m 24s
proof_ci
0s
Annotations
2 errors and 4 warnings
doxygen
Process completed with exit code 100.
|
proof_ci
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
|
memory-statistics
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
spell-check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
git-secrets
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
verify-manifest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|