Remove formatting bot workflow (#1348) #330
aggargci.yml
on: push
git-secrets
1m 28s
formatting
1m 46s
spell-check
3m 11s
doxygen
5m 20s
verify-manifest
2m 24s
memory-statistics
1m 44s
proof_ci
0s
Annotations
1 error
|
proof_ci
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
doxygen.zip-9b50dc160bf68567ada6151bb24b8b4fad91cb81
Expired
|
8.94 MB |
sha256:4993c6d7144cf7bf59a0a88669b7cafc7594b3c564beded1e82d12770cb47a50
|
|
|
freertos-memory-estimates
Expired
|
1.01 KB |
sha256:de321b11445bbfdd7767d6077f1f6dfd8e98d13d12be09db743b2552bfb3f79e
|
|