Checking

Merge pull request #140 from esbmc/run_on_directory #236

Sign in to view logs

Summary
Jobs
- PyLint
- PyTest
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
PyTest	10m 1s
PyLint	2m 44s
	12m 45s