Merge pull request #14 from YosysHQ/revert-10-ci_coverage #80

Sign in to view logs

Summary
Jobs
- test
- check
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check	22s
test	36s
	58s