Skip to content
Checking

Merge branch 'save-code' of github.com:esbmc/esbmc-ai into save-code #253

Sign in to view logs

Merge branch 'save-code' of github.com:esbmc/esbmc-ai into save-code

Merge branch 'save-code' of github.com:esbmc/esbmc-ai into save-code #253

Run time

Learn about OS pricing on GitHub Actions
Job Run time
PyLint
6s
PyTest
8s
14s