Update release workflow to match standard format #760
jasonpcarrollci.yml
on: pull_request
build-check
7s
build-code-example
5s
unittest-with-sanitizer
17s
unittest-for-coverage
39s
complexity
8s
spell-check
1m 12s
formatting
15s
git-secrets
5s
link-verifier
46s
verify-manifest
11s
doxygen
15s
memory_statistics
32s
proof_ci
51s
Annotations
1 warning
|
Workflow syntax warning:
.github/workflows/ci.yml#L208
.github/workflows/ci.yml (Line: 208, Col: 9): Conditional expression contains literal text outside replacement tokens. This will cause the expression to always evaluate to truthy. Did you mean to put the entire expression inside ${{ }}?
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cbmc_proof_results_coreSNTP_2026_01_28_01_13_07
|
2.65 MB |
sha256:271371a864e0d1ec4ac56582520d7a2722b4a096b7fdb1a3d7239b2f8189e626
|
|