Skip to content
CI Checks

[AUTO][RELEASE]: Update version numbers (#117) #763

Sign in to view logs

[AUTO][RELEASE]: Update version numbers (#117)

[AUTO][RELEASE]: Update version numbers (#117) #763

Triggered via push January 28, 2026 01:45
@archiguparchigup
pushed 50f5f96
main
Status Success
Total duration 1m 50s
Artifacts 1

ci.yml

on: push
build-check
13s
build-check
build-code-example
9s
build-code-example
unittest-with-sanitizer
17s
unittest-with-sanitizer
unittest-for-coverage
29s
unittest-for-coverage
complexity
10s
complexity
spell-check
1m 12s
spell-check
formatting
9s
formatting
git-secrets
7s
git-secrets
link-verifier
1m 46s
link-verifier
verify-manifest
7s
verify-manifest
doxygen
25s
doxygen
memory_statistics
30s
memory_statistics
proof_ci
59s
proof_ci
Fit to window
Zoom out
Zoom in

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_46_04 Expired
2.64 MB
sha256:9c83961b9571ae0368301028af0f11f8f0930f0bbef30bd041c95083e550429f