Skip to content
Build-Test-Deploy

Update main.py #68

Sign in to view logs

Update main.py

Update main.py #68

Triggered via pull request November 3, 2024 20:32
@AdamZsofiAdamZsofi
opened #5
version-format-patch
Status Cancelled
Total duration 2m 6s
Artifacts 5

linux-build-test-deploy.yml

on: pull_request
build
15s
build
Matrix: test-benchexec
collect-results
0s
collect-results
Fit to window
Zoom out
Zoom in

Annotations

22 errors and 6 warnings
test-benchexec (ebf)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' exists
test-benchexec (ugemcutter)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' exists
test-benchexec (cpachecker)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' exists
test-benchexec (cseq)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' exists
test-benchexec (utaipan)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' exists
test-benchexec (dartagnan)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' exists
test-benchexec (uautomizer)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' exists
test-benchexec (deagle)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' exists
test-benchexec (esbmc-kind)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' exists
test-benchexec (cbmc)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' exists
test-benchexec (coveriteam-verifier-parallel-portfolio)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' exists
test-benchexec (graves-par)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' exists
test-benchexec (pichecker)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' exists
test-benchexec (infer)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' exists
test-benchexec (cpa-lockator)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' exists
test-benchexec (divine)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' exists
test-benchexec (graves)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' exists
test-benchexec (symbiotic)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' exists
test-benchexec (lf-checker)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' exists
test-benchexec (theta)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' exists
test-benchexec (pesco)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' exists
test-benchexec (esbmc-incr)
Canceling since a higher priority waiting request for 'deploy-version-format-patch' 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/
test-benchexec (lazycseq)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9, nick-fields/retry@14672906e672a08bd6eeb15720e9ed3ce869cdd4, actions/download-artifact@9bc31d5ccc31df68ecc42ccf4149144866c47d8a, 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/
test-benchexec (goblint)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9, nick-fields/retry@14672906e672a08bd6eeb15720e9ed3ce869cdd4, actions/download-artifact@9bc31d5ccc31df68ecc42ccf4149144866c47d8a, 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/
test-benchexec (bubaak)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9, nick-fields/retry@14672906e672a08bd6eeb15720e9ed3ce869cdd4, actions/download-artifact@9bc31d5ccc31df68ecc42ccf4149144866c47d8a, 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/
test-benchexec (coveriteam-verifier-algo-selection)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9, nick-fields/retry@14672906e672a08bd6eeb15720e9ed3ce869cdd4, actions/download-artifact@9bc31d5ccc31df68ecc42ccf4149144866c47d8a, 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: "bubaak", "ConcurrentWitness2Test", "coveriteam-verifier-algo-selection", "goblint", "lazycseq". 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
27.2 MB
bubaak
7.98 KB
coveriteam-verifier-algo-selection
15.1 KB
goblint
39.5 KB
lazycseq
1.16 KB