Continuous integration

Merge pull request #1009 from jvanz/main #1701

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check	2m 52s
Unit tests	5m 5s
Clippy	2m 52s
coverage	16m 46s
Rustfmt	19s
Integration tests	11m 15s
	39m 9s