ci

Merge branch 'main' into adapt-dev-release #26

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check formatting	5s
Clippy	17s
Check Documentation Build	30s
Check build	24s
Run Tests	24s
	1m 40s