Fix compilation with -Wpedantic on GCC #5869
amazonKamathci.yml
on: pull_request
unittest
3m 43s
spell-check
2m 31s
formatting
14s
doxygen
13s
verify-manifest
17s
link-verifier
1m 17s
build-checks
1m 13s
complexity
11s
git-secrets
7s
proof_ci
5m 11s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_FreeRTOS-Plus-TCP_2023_12_26_06_52_25
Expired
|
4.46 MB |
|