Build-Test-Deploy #81
AdamZsofiAnnotations
26 errors and 2 warnings
|
test-benchexec (cpa-lockator)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (utaipan)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (infer)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (deagle)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (symbiotic)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (esbmc-incr)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (graves-par)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (pesco)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (bubaak)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (cseq)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (graves)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (uautomizer)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (goblint)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (ugemcutter)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (divine)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (esbmc-kind)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (cpachecker)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (coveriteam-verifier-parallel-portfolio)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (pichecker)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (lazycseq)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (dartagnan)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (coveriteam-verifier-algo-selection)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (lf-checker)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (ebf)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (theta)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
test-benchexec (cbmc)
Canceling since a higher priority waiting request for 'deploy-' exists
|
|
build
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9, actions/upload-artifact@0b7f8abb1508181956e8e162db84b466c27e18ce. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
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: "ConcurrentWitness2Test".
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 | |
|---|---|---|
|
ConcurrentWitness2Test
Expired
|
27.2 MB |
|