Skip to content
CI

Merge pull request #9 from GaloisInc/issue#8-limit-happy-to-less-than… #7

Sign in to view logs

Merge pull request #9 from GaloisInc/issue#8-limit-happy-to-less-than…

Merge pull request #9 from GaloisInc/issue#8-limit-happy-to-less-than… #7

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-22.04, 9.4.8, 3.10.3.0)
6m 36s
build (ubuntu-22.04, 9.6.6, 3.10.3.0)
6m 12s
build (ubuntu-22.04, 9.8.2, 3.10.3.0)
4m 45s
17m 33s