Back to pull request #533

feat: shortcut to set priority are now hardcoded #1247

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Rustfmt	12s
Clippy	32s
Check	34s
Test Suite	2m 57s
	4m 15s