Skip to content
hs-to-coq

[WIP] migrating to GHC 8.10 and Coq 8.18. #111

Sign in to view logs

[WIP] migrating to GHC 8.10 and Coq 8.18.

[WIP] migrating to GHC 8.10 and Coq 8.18. #111

Run time

Learn about OS pricing on GitHub Actions
Job Run time
pre_check
7s
Cross building hs-to-coq with multiple GHC versions (ubuntu-latest, 8.4.3, lts-12.26)
13m 36s
Cross building hs-to-coq with multiple GHC versions (ubuntu-latest, 8.4.3, lts-14.27)
16m 9s
Installing Coq dependencies (ubuntu-latest, 4.07.1, 8.10.2)
23m 51s
Installing Haskell dependencies (ubuntu-latest, 8.4.3, lts-12.0)
14m 14s
Cross building hs-to-coq with multiple GHC versions (ubuntu-latest, 8.4.3, lts-16.31)
13m 48s
Cross building hs-to-coq with multiple GHC versions (ubuntu-latest, 8.4.3, lts-18.10)
14m 15s
Translation (ensures convenience copy is up-to-date) (ubuntu-latest, 8.4.3, lts-12.0, 4.07.1, 8.1...
3m 9s
Tests, base tests, and other examples (ubuntu-latest, 8.4.3, lts-12.0, 4.07.1, 8.10.2)
6h 0m 16s
Testing base, containers, transformers, GHC, etc. (ubuntu-latest, 4.07.1, 8.10.2)
6h 0m 14s
Testing containers extraction (ubuntu-latest, 8.4.3, lts-12.0, 4.07.1, 8.10.2)
6h 0m 16s
19h 39m 55s