Remove formatting bot workflow (#131) #19
pull[bot]ci.yml
on: push
unittest
26s
build-with-default-config
11s
complexity
14s
doxygen
20s
spell-check
59s
formatting
0s
git-secrets
4s
memory_statistics
31s
link-verifier
7m 40s
verify-manifest
6s
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
|
|
unittest
Process completed with exit code 1.
|
|
link-verifier
Process completed with exit code 1.
|