Merge pull request #404 from GaloisInc/lcasburn-data-rights #944

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docker	1h 15m 58s
GHC 9.6.2 on self-hosted pate-ppc	1h 2m 27s
	2h 18m 25s