Skip to content
CI Checks

Update coreMQTT-Agent Library to MQTTv5 #414

Sign in to view logs

Update coreMQTT-Agent Library to MQTTv5

Update coreMQTT-Agent Library to MQTTv5 #414

Re-run triggered June 9, 2025 01:56
@ActoryOuActoryOu
#129
adituc:mqtt-v5-agent
Status Failure
Total duration 1m 31s
Artifacts 2

ci.yml

on: pull_request
unittest
1m 24s
unittest
complexity
16s
complexity
doxygen
1m 12s
doxygen
spell-check
1m 8s
spell-check
formatting
45s
formatting
git-secrets
4s
git-secrets
memory_statistics
33s
memory_statistics
link-verifier
56s
link-verifier
verify-manifest
11s
verify-manifest
proof_ci
1m 17s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

5 errors
verify-manifest
Process completed with exit code 1.
memory_statistics
Process completed with exit code 1.
formatting
Process completed with exit code 1.
doxygen
Process completed with exit code 1.
proof_ci
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_coreMQTT-Agent_2025_06_09_01_58_04 Expired
8.34 MB
sha256:fe048db2ef0c447510136fcb13f89698bbb00363fda068d4d42c3cb47bf677ba
formattingChanges Expired
3.27 KB
sha256:35dd113c38cca166f1980673f69a14962710e93099a3d41128b0e0121cfad3c9