ci

Merge pull request 'fix READMEs' (#4) from fix-readmes into main #20

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check formatting	16s
Clippy	28s
Check build	27s
Check Documentation Build	34s
Run Tests	19s
	2m 4s