CI

Merge pull request #125 from ludat/fix-ci-dhall #720

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu / lts-12.11	14m 54s
ubuntu / lts-14.18	1m 2s
ubuntu / lts-16.12	1m 5s
ubuntu / lts-18.28	1m 3s
ubuntu / lts-19.33	1m 8s
ubuntu / lts-20.26	1m 19s
ubuntu / lts-21.25	1m 13s
ubuntu / lts-22.18	13m 41s
ubuntu / nightly	11m 28s
windows / lts-12.11	4m 23s
windows / lts-14.18	3m 22s
windows / lts-16.12	4m 31s
windows / lts-18.28	4m 57s
windows / lts-19.33	4m 30s
windows / lts-20.26	4m 34s
windows / lts-21.25	4m 20s
windows / lts-22.18	16m 30s
windows / nightly	8m 26s
	1h 42m 26s