Pull request checks

Removed thirds, added communication-based heuristic for seeking #1795

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
fix-style	1m 10s
build-and-test	11m 7s
	12m 17s