Skip to content

Merge pull request #140 from esbmc/run_on_directory #237

Merge pull request #140 from esbmc/run_on_directory

Merge pull request #140 from esbmc/run_on_directory #237

Triggered via push September 5, 2024 13:04
Status Failure
Total duration 10m 15s
Artifacts

workflow.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
PyLint
Process completed with exit code 28.
PyTest
The job running on runner GitHub Actions 12 has exceeded the maximum execution time of 10 minutes.
PyTest
The operation was canceled.
PyLint
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/