Update README.md #84
AdamZsofiAnnotations
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: "bubaak", "cbmc", "ConcurrentWitness2Test", "coveriteam-verifier-algo-selection", "coveriteam-verifier-parallel-portfolio", "cpachecker", "cpa-lockator", "cseq", "dartagnan", "deagle", "divine", "ebf", "esbmc-incr", "esbmc-kind", "goblint", "graves", "graves-par", "infer", "lazycseq", "lf-checker", "pesco", "pichecker", "symbiotic", "theta", "uautomizer", "ugemcutter", "utaipan".
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 | Digest | |
|---|---|---|---|
|
ConcurrentWitness2Test
Expired
|
27.2 MB |
|
|
|
bubaak
Expired
|
8.02 KB |
|
|
|
cbmc
Expired
|
291 KB |
|
|
|
coveriteam-verifier-algo-selection
Expired
|
15.1 KB |
|
|
|
coveriteam-verifier-parallel-portfolio
Expired
|
300 KB |
|
|
|
cpa-lockator
Expired
|
86.7 KB |
|
|
|
cpachecker
Expired
|
274 KB |
|
|
|
cseq
Expired
|
704 KB |
|
|
|
dartagnan
Expired
|
543 KB |
|
|
|
deagle
Expired
|
519 KB |
|
|
|
divine
Expired
|
392 KB |
|
|
|
ebf
Expired
|
287 KB |
|
|
|
esbmc-incr
Expired
|
82.7 KB |
|
|
|
esbmc-kind
Expired
|
277 KB |
|
|
|
goblint
Expired
|
39.6 KB |
|
|
|
graves
Expired
|
274 KB |
|
|
|
graves-par
Expired
|
35.4 KB |
|
|
|
infer
Expired
|
746 KB |
|
|
|
lazycseq
Expired
|
1.16 KB |
|
|
|
lf-checker
Expired
|
266 KB |
|
|
|
pesco
Expired
|
268 KB |
|
|
|
pichecker
Expired
|
279 KB |
|
|
|
symbiotic
Expired
|
124 KB |
|
|
|
theta
Expired
|
38.2 KB |
|
|
|
uautomizer
Expired
|
404 KB |
|
|
|
ugemcutter
Expired
|
282 KB |
|
|
|
utaipan
Expired
|
401 KB |
|