CI

Use Crucible goal-proving helpers in testing code #776

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Macaw - GHC v9.2.8	47m 26s
Macaw - GHC v9.4.8	39m 52s
Macaw - GHC v9.6.5	36m 28s
	2h 3m 46s