Update CHANGELOG with all PRs since v1.3.1 #758
jasonpcarrollci.yml
on: pull_request
build-check
13s
build-code-example
7s
unittest-with-sanitizer
23s
unittest-for-coverage
25s
complexity
9s
spell-check
1m 15s
formatting
12s
git-secrets
7s
link-verifier
1m 41s
verify-manifest
11s
doxygen
18s
memory_statistics
32s
proof_ci
1m 1s
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_10_04
|
2.65 MB |
sha256:67e843be6cc2a1c6ea48e3abdbbdffc1b8d6da203aef9d9f4760301b13b763e8
|
|