ci

Merge pull request 'prepare HAL release' (#18) from prep-hal-release … #96

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check formatting	6s
Clippy	28s
Check build	39s
Check Documentation Build	25s
Run Tests	16s
	1m 54s