Skip to content
CI Checks

[v1.3.1] Update change log, version numbers and .md files for release… #397

Sign in to view logs

[v1.3.1] Update change log, version numbers and .md files for release…

[v1.3.1] Update change log, version numbers and .md files for release… #397

Triggered via push February 21, 2025 10:59
@DakshitBabbarDakshitBabbar
pushed ddae26c
main
Status Failure
Total duration 7m 59s
Artifacts 1

ci.yml

on: push
unittest
33s
unittest
complexity
14s
complexity
doxygen
14s
doxygen
spell-check
1m 9s
spell-check
formatting
10s
formatting
git-secrets
3s
git-secrets
memory_statistics
39s
memory_statistics
link-verifier
7m 46s
link-verifier
verify-manifest
8s
verify-manifest
proof_ci
6m 40s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
unittest
Process completed with exit code 1.
link-verifier
Process completed with exit code 1.
formatting
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_coreMQTT-Agent_2025_02_21_11_06_32
20.8 MB