Skip to content
CI Checks

Updating the coreMQTT submodule pointer #400

Sign in to view logs

Updating the coreMQTT submodule pointer

Updating the coreMQTT submodule pointer #400

Triggered via pull request February 21, 2025 15:42
@DakshitBabbarDakshitBabbar
synchronize #124
DakshitBabbar:mqtt-v3.0.0-release
Status Failure
Total duration 4m 47s
Artifacts 1

ci.yml

on: pull_request
unittest
26s
unittest
complexity
12s
complexity
doxygen
17s
doxygen
spell-check
1m 7s
spell-check
formatting
8s
formatting
git-secrets
7s
git-secrets
memory_statistics
31s
memory_statistics
link-verifier
54s
link-verifier
verify-manifest
9s
verify-manifest
proof_ci
4m 35s
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_15_46_37
21.6 MB