build

minimal TLA+ spec of the xycloans monitor #371

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
housekeeping	10s
contracts-unit-tests (stable)	3m 22s
tests (ubuntu-latest)	1m 58s
	5m 30s