CI

chore: tighten CI token scope and tidy conformance docs #108

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
intentproof-spec	30s
spec-golden-parity	22s
hardening	6s
no-handwritten-model-types	5s
audit	29s
tox (py313, 3.13, false)	23s
tox (cov, 3.x, true)	31s
tox (py312, 3.12, false)	31s
tox (static, 3.x, true)	35s
tox (py314, 3.14, false)	31s
tox (py311, 3.11, false)	27s
	4m 30s