Run tests

[Translation] Add field introduction to heap encoding axioms #42

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
deploy-doc	15m 1s
regression-tests	15m 20s
unit-tests	14m 20s
	44m 41s