Skip to content
CI Checks

Updating the coreMQTT submodule pointer #402

Sign in to view logs

Updating the coreMQTT submodule pointer

Updating the coreMQTT submodule pointer #402

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

ci.yml

on: pull_request
unittest
24s
unittest
complexity
13s
complexity
doxygen
19s
doxygen
spell-check
1m 9s
spell-check
formatting
9s
formatting
git-secrets
6s
git-secrets
memory_statistics
31s
memory_statistics
link-verifier
7m 33s
link-verifier
verify-manifest
10s
verify-manifest
proof_ci
4m 28s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

5 errors
formatting
Process completed with exit code 1.
unittest
Process completed with exit code 25.
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_14_55
21.6 MB
formattingChanges
411 Bytes