CI

feat: throttle parallel prove commits (#662) #1586

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-files	4s
docs	3s
toml	12s
format	9s
clippy_build_and_test	25m 46s
	26m 14s