build

minimal TLA+ spec of the xycloans monitor #300

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
housekeeping	10s
contracts-unit-tests (stable)	1m 25s
tests (ubuntu-latest)	23s
	1m 58s