Kind2 CI

Add modifiers to control the opacity of a node/function #1587

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
kind2-build (ubuntu-20.04)	8m 53s
kind2-build (macos-13)	19m 2s
kind2-build (macos-14)	10m 36s
	38m 31s