build

An EJS template to populate the TLA+ spec of xycloans #398

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
housekeeping	13s
tests (ubuntu-latest)	1m 54s
contracts-unit-tests (stable)	3m 12s
	5m 19s