Skip to content
CI Checks

Updating the coreMQTT submodule pointer #399

Sign in to view logs

Updating the coreMQTT submodule pointer

Updating the coreMQTT submodule pointer #399

Triggered via pull request February 21, 2025 14:31
@DakshitBabbarDakshitBabbar
synchronize #124
DakshitBabbar:mqtt-v3.0.0-release
Status Failure
Total duration 5m 7s
Artifacts 1

ci.yml

on: pull_request
unittest
25s
unittest
complexity
15s
complexity
doxygen
25s
doxygen
spell-check
1m 55s
spell-check
formatting
9s
formatting
git-secrets
3s
git-secrets
memory_statistics
36s
memory_statistics
link-verifier
1m 50s
link-verifier
verify-manifest
7s
verify-manifest
proof_ci
4m 44s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
unittest
Process completed with exit code 1.
memory_statistics
Process completed with exit code 1.
spell-check
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_14_36_43
21.6 MB