Skip to content
CI Checks

Add Functionality from core_jobs.c #295

Sign in to view logs

Add Functionality from core_jobs.c

Add Functionality from core_jobs.c #295

Triggered via pull request October 9, 2023 22:16
@bradleysmith23bradleysmith23
synchronize #85
cbmc
Status Failure
Total duration 8m 6s
Artifacts 2

ci.yml

on: pull_request
unittest
1m 11s
unittest
complexity
14s
complexity
doxygen
21s
doxygen
spell-check
47s
spell-check
formatting
11s
formatting
git-secrets
12s
git-secrets
memory_statistics
38s
memory_statistics
link-verifier
59s
link-verifier
verify-manifest
8s
verify-manifest
proof_ci
5m 22s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

3 errors
formatting
Process completed with exit code 1.
memory_statistics
Process completed with exit code 1.
unittest
Process completed with exit code 2.

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_Jobs-for-AWS-IoT-embedded-sdk_2023_10_09_22_24_13 Expired
18.7 KB
formattingChanges Expired
757 Bytes