fix: support zero-length clientId #1804
kstribrnAmznci.yml
on: pull_request
unittest
2m 7s
complexity
1m 50s
doxygen
2m 16s
spell-check
3m 6s
formatting
52s
git-secrets
8s
custom-standard-c-headers
9s
memory_statistics
35s
link-verifier
13m 13s
verify-manifest
9s
proof_ci
42m 36s
Annotations
3 errors
|
formatting
Process completed with exit code 1.
|
|
link-verifier
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_2025_10_24_18_00_06
|
33.8 MB |
sha256:bb2beb339f496b361b69a6994b29238c575989e57a2049745eb0553fd72e7a0c
|
|
|
formattingChanges
Expired
|
506 Bytes |
sha256:5941b972921c2a913befc3ecd40b43beaae87af8af0b66faff47bfed8283b8c7
|
|