Back to pull request #357

Hide stacktrace for `DEBUG=FALSE` and `Proof.do_tict()` minor fixup #1342

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formatting (3.10.4, 1.5.1)	21s
mypy (3.10.4, 1.5.1)	30s
ruff	5s
	56s