CI

Merge pull request #348 from GaloisInc/elf-edit-T35 #681

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Macaw - GHC v9.2.8	1h 7m 59s
Macaw - GHC v9.4.5	1h 7m 15s
Macaw - GHC v9.6.2	1h 0m 31s
	3h 15m 45s