Kind2 CI

Use a refinement type for the type of history index #1593

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
kind2-build (ubuntu-latest)	5m 35s
kind2-build (macos-13)	12m 29s
kind2-build (macos-14)	8m 9s
	26m 13s