Update word list #2776
Skptakci.yml
on: pull_request
compiler-warnings
13s
complexity
7s
unittest
30s
coverage
34s
doxygen
18s
spell-check
1m 46s
formatting
8s
git-secrets
4s
memory_statistics
38s
link-verifier
47s
verify-manifest
15s
proof_ci
5m 29s
Annotations
1 error
|
spell-check
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_ota-for-aws-iot-embedded-sdk_2024_01_05_19_31_56
Expired
|
106 MB |
|