Continuous integration

Make interrupting by Ctrl-C more reliable #106

Sign in to view logs

Summary
Jobs
- Check
- Test
- Format
- Clippy
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Test	1m 49s
Format	10s
Clippy	1m 29s
Check	1m 23s
	4m 51s