build

Merge pull request #48 from GaloisInc/T12-lazy-macaw-symbolic-memory-… #75

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doc	10s
GHC 9.2.8	37m 22s
GHC 9.4.8	35m 14s
GHC 9.6.3	31m 15s
	1h 44m 1s