ci

Merge pull request 'prepare HAL release' (#16) from prep-hal-release … #34

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check build	15s
Run Tests	15s
Check Documentation Build	32s
Clippy	21s
Check formatting	3s
	1m 26s