CI

fix: make PR mode the default workflow #284

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Audit	19s
Web Check	29s
Check	44s
Integration (offline)	5m 16s
Integration (DoltHub)	0s
	6m 48s