Clang-Format and CI-CD Update #879
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: pull_request
system-tests
1m 41s
unit-tests-with-sanitizer
2m 1s
unit-tests
2m 1s
complexity
14s
doxygen
14s
spell-check
1m 17s
formatting
20s
link-verifier
1m 36s
verify-manifest
9s
git-secrets
6s
memory_statistics
1m 36s
proof_ci
8m 16s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
cbmc_proof_results_corePKCS11_2023_08_21_03_08_01
Expired
|
44.1 MB |
|
system_test_results
Expired
|
324 KB |
|
unit_test_results
Expired
|
97.6 KB |
|