Pull Request

Split PRB into three jobs that can run in parallel #129

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
style	10m 21s
core-tests	25m 26s
other-tests	23m 10s
	58m 57s