CI

Merge pull request #378 from GaloisInc/vr/show-memsymbol #742

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Macaw - GHC v9.2.8	34m 47s
Macaw - GHC v9.4.5	26m 11s
Macaw - GHC v9.6.2	24m 42s
	1h 25m 40s