Skip to content

Add Functionality From core_jobs.c into Jobs #259

Add Functionality From core_jobs.c into Jobs

Add Functionality From core_jobs.c into Jobs #259

Triggered via pull request September 21, 2023 20:48
@bradleysmith23bradleysmith23
synchronize #83
main
Status Failure
Total duration 1m 16s
Artifacts 1

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

4 errors
doxygen
Process completed with exit code 1.
memory_statistics
Process completed with exit code 1.
unittest
Process completed with exit code 2.
proof_ci
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_Jobs-for-AWS-IoT-embedded-sdk_2023_09_21_20_50_01 Expired
259 KB