Merge pull request #29 from serokell/motoko-san/while-loop-invariants… #116

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
tests (ubuntu-latest)	35m 7s
tests (macos-latest)	6m 4s
artifacts	0s
reports	0s
	41m 11s