Development

Merge pull request #164 from esbmc/improvements-2 #349

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Get Requirements	26s
PyLint	2m 52s
PyTest	2m 43s
Build	22s
	6m 23s