Add Functionality from core_jobs.c #264
bradleysmith23ci.yml
on: pull_request
unittest
30s
complexity
13s
doxygen
15s
spell-check
37s
formatting
12s
git-secrets
9s
memory_statistics
44s
link-verifier
40s
verify-manifest
5s
proof_ci
23s
Annotations
3 errors
|
doxygen
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
|
|
memory_statistics
Process completed with exit code 1.
|