Remove changes to achieve 100% coverage #745
archigupci.yml
on: pull_request
unittest
16s
complexity
6s
doxygen
14s
spell-check
formatting
8s
git-secrets
3s
custom-standard-c-headers
3s
memory_statistics
28s
link-verifier
46s
verify-manifest
7s
proof_ci
3m 43s
Annotations
1 warning
|
Deprecation notice: v1, v2, and v3 of the artifact actions
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "cbmc_proof_results_coreJSON_2024_05_13_19_23_59".
Please update your workflow to use v4 of the artifact actions.
Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreJSON_2024_05_13_19_23_59
Expired
|
17.2 MB |
|