Continuous integration

Merge pull request #920 from viccuad/main #1395

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check	2m 46s
Clippy	2m 57s
coverage	18m 33s
Rustfmt	7s
Integration tests	11m 36s
Unit tests	4m 52s
	40m 51s