Skip to content
CI Checks

Updating the coreMQTT submodule pointer #403

Sign in to view logs

Updating the coreMQTT submodule pointer

Updating the coreMQTT submodule pointer #403

Triggered via pull request February 21, 2025 16:49
@DakshitBabbarDakshitBabbar
synchronize #124
DakshitBabbar:mqtt-v3.0.0-release
Status Failure
Total duration 7m 51s
Artifacts 2

ci.yml

on: pull_request
unittest
33s
unittest
complexity
20s
complexity
doxygen
51s
doxygen
spell-check
1m 30s
spell-check
formatting
9s
formatting
git-secrets
8s
git-secrets
memory_statistics
32s
memory_statistics
link-verifier
7m 40s
link-verifier
verify-manifest
15s
verify-manifest
proof_ci
4m 57s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

4 errors
formatting
Process completed with exit code 1.
memory_statistics
Process completed with exit code 1.
spell-check
Process completed with exit code 1.
link-verifier
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_coreMQTT-Agent_2025_02_21_16_54_30
21.6 MB
formattingChanges
660 Bytes