Skip to content

Apply formatting bot fix (#119) #505

Apply formatting bot fix (#119)

Apply formatting bot fix (#119) #505

Triggered via push October 5, 2023 16:38
Status Success
Total duration 1m 2s
Artifacts

ci.yml

on: push
unittest
22s
unittest
build-with-default-config
11s
build-with-default-config
complexity
8s
complexity
doxygen
14s
doxygen
spell-check
36s
spell-check
formatting
11s
formatting
git-secrets
7s
git-secrets
memory_statistics
49s
memory_statistics
link-verifier
44s
link-verifier
verify-manifest
5s
verify-manifest
proof_ci
0s
proof_ci
Fit to window
Zoom out
Zoom in