Skip to content
Development

Merge pull request #157 from esbmc/config-improvement #331

Sign in to view logs

Merge pull request #157 from esbmc/config-improvement

Merge pull request #157 from esbmc/config-improvement #331

Triggered via push January 1, 2025 17:04
@Yiannis128Yiannis128
pushed 9fb9757
master
Status Success
Total duration 3m 53s
Artifacts 2

workflow.yml

on: push
Get Requirements
25s
Get Requirements
PyLint
3m 12s
PyLint
PyTest
2m 59s
PyTest
Build
22s
Build
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Get Requirements
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
PyTest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
PyLint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
build
105 KB
requirements
372 Bytes