Skip to content
CI Checks

Clang-Format and CI-CD Update #486

Sign in to view logs

Clang-Format and CI-CD Update

Clang-Format and CI-CD Update #486

Triggered via pull request August 15, 2023 00:32
@SkptakSkptak
opened #144
Skptak:main
Status Failure
Total duration 22m 6s
Billable time 20m
Artifacts 1

ci.yml

on: pull_request
unittest
41s
unittest
recursive-unit-test
43s
recursive-unit-test
complexity
11s
complexity
doxygen
15s
doxygen
spell-check
4m 14s
spell-check
formatting
17s
formatting
git-secrets
5s
git-secrets
memory_statistics
55s
memory_statistics
link-verifier
1m 11s
link-verifier
proof_ci
19m 11s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

5 errors and 4 warnings
unittest
Process completed with exit code 1.
unittest
Process completed with exit code 1.
recursive-unit-test
Process completed with exit code 1.
recursive-unit-test
Process completed with exit code 1.
proof_ci
Process completed with exit code 1.
unittest
No files were found with the provided path: CodecovHTMLReport.zip. No artifacts will be uploaded.
unittest
Unexpected input(s) 'path', valid inputs are ['coverage-file', 'branch-coverage-min', 'line-coverage-min']
recursive-unit-test
No files were found with the provided path: CodecovHTMLReport.zip. No artifacts will be uploaded.
recursive-unit-test
Unexpected input(s) 'path', valid inputs are ['coverage-file', 'branch-coverage-min', 'line-coverage-min']

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_FreeRTOS-Cellular-Interface_2023_08_15_00_54_08 Expired
22.5 MB