Skip to content

Update to use merged mainline actions, use checkout@v3 instead of che… #73

Update to use merged mainline actions, use checkout@v3 instead of che…

Update to use merged mainline actions, use checkout@v3 instead of che… #73

Triggered via push September 5, 2023 20:56
Status Success
Total duration 5m 12s
Artifacts

ci.yml

on: push
unittest
24s
unittest
build-with-default-config
11s
build-with-default-config
complexity
8s
complexity
doxygen
18s
doxygen
spell-check
34s
spell-check
formatting
12s
formatting
git-secrets
8s
git-secrets
memory_statistics
53s
memory_statistics
link-verifier
56s
link-verifier
verify-manifest
10s
verify-manifest
proof_ci
0s
proof_ci
Fit to window
Zoom out
Zoom in