Skip to content
CI Checks

Update release workflow to match standard format #815

Sign in to view logs

Update release workflow to match standard format

Update release workflow to match standard format #815

Triggered via pull request January 28, 2026 00:43
@jasonpcarrolljasonpcarroll
opened #186
jasonpcarroll:main
Status Success
Total duration 4m 50s
Artifacts 1

ci.yml

on: pull_request
unittest
20s
unittest
complexity
7s
complexity
doxygen
11s
doxygen
spell-check
1m 20s
spell-check
formatting
13s
formatting
git-secrets
6s
git-secrets
custom-standard-c-headers
12s
custom-standard-c-headers
memory_statistics
36s
memory_statistics
link-verifier
4m 44s
link-verifier
verify-manifest
7s
verify-manifest
proof_ci
2m 58s
proof_ci
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_coreJSON_2026_01_28_00_46_24
15.6 MB
sha256:472cf0fb96c3f419a27b902b67a4889773c4c8e877762622d9553211750d5bc9