Merge pull request #1019 from daniel-larraz/fix-gte-gt-eval #436

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
kind2-build (4.09.1, ubuntu-20.04)	9m 18s
kind2-build (4.09.1, ubuntu-20.04)	9m 18s
kind2-build (4.09.1, macos-11)	11m 45s
kind2-build (4.09.1, macos-11)	13m 59s
	44m 20s