Skip to content
Checking

Merge pull request #137 from esbmc/dev #232

Sign in to view logs

Merge pull request #137 from esbmc/dev

Merge pull request #137 from esbmc/dev #232

Triggered via push July 13, 2024 18:20
@Yiannis128Yiannis128
pushed 154b6e8
run_on_directory
Status Failure
Total duration 10m 12s
Artifacts –

workflow.yml

on: push
PyLint
2m 52s
PyLint
PyTest
10m 1s
PyTest
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 16 has exceeded the maximum execution time of 10 minutes.
PyTest
The operation was canceled.
PyLint
The following actions uses Node.js version which is deprecated 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/