ci

Merge pull request 'Set of fixes' (#2) from smaller-fixes into main #15

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Clippy	27s
Check Documentation Build	37s
Check formatting	18s
Check build	30s
Run Tests	25s
	2m 17s