CI

Fix CI: avoid failing intentproof-spec check when publish push is blocked #51

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
spec-golden-parity	24s
no-handwritten-model-types	6s
audit	22s
hardening	12s
intentproof-spec	22s
tox (py313, 3.13, false)	23s
tox (static, 3.x, true)	32s
tox (py311, 3.11, false)	24s
tox (py314, 3.14, false)	33s
tox (cov, 3.x, true)	26s
tox (py312, 3.12, false)	27s
	4m 11s