CI

Tighten proof gating and align runbook/docs #82

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint, Type, Test (ubuntu-latest)	2m 43s
Lint, Type, Test (macos-14)	49s
Lint, Type, Test (ubuntu-24.04-arm)	44s
	4m 16s