Updating the coreMQTT submodule pointer #398
ci.yml
on: pull_request
unittest
22s
complexity
14s
doxygen
22s
spell-check
1m 10s
formatting
14s
git-secrets
7s
memory_statistics
31s
link-verifier
8m 17s
verify-manifest
7s
proof_ci
4m 28s
Annotations
3 errors and 1 warning
unittest
Process completed with exit code 2.
|
memory_statistics
Process completed with exit code 1.
|
link-verifier
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_11_43_43
|
21.6 MB |
|