Checking

Merge branch 'addon-verifier' of github.com:esbmc/esbmc-ai into addon… #308

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Get Requirements	24s
Increment Version	30s
PyLint	2m 55s
PyTest	2m 49s
Build	0s
	6m 38s