Add Functionality from core_jobs.c #262
ci.yml
on: pull_request
unittest
29s
complexity
12s
doxygen
25s
spell-check
41s
formatting
11s
git-secrets
4s
memory_statistics
43s
link-verifier
51s
verify-manifest
8s
proof_ci
4m 47s
Annotations
4 errors
doxygen
Process completed with exit code 1.
|
spell-check
Process completed with exit code 1.
|
memory_statistics
Process completed with exit code 1.
|
proof_ci
An error occurred trying to start process '/usr/bin/bash' with working directory '/home/runner/work/Jobs-for-AWS-IoT-embedded-sdk/Jobs-for-AWS-IoT-embedded-sdk/test/cbmc/proofs'. No such file or directory
|