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

Job	Run time
pre_check	5s
Installing Coq dependencies (ubuntu-latest, 4.07.1, 8.10.2)	21m 54s
Installing Haskell dependencies (ubuntu-latest, 8.4.3, lts-12.0)	12m 4s
Cross building hs-to-coq with multiple GHC versions (ubuntu-latest, 8.4.3, lts-12.26)	11m 31s
Cross building hs-to-coq with multiple GHC versions (ubuntu-latest, 8.4.3, lts-14.27)	14m 28s
Cross building hs-to-coq with multiple GHC versions (ubuntu-latest, 8.4.3, lts-16.31)	11m 36s
Cross building hs-to-coq with multiple GHC versions (ubuntu-latest, 8.4.3, lts-18.10)	11m 58s
Translation (ensures convenience copy is up-to-date) (ubuntu-latest, 8.4.3, lts-12.0, 4.07.1, 8.1...	4m 17s
Tests, base tests, and other examples (ubuntu-latest, 8.4.3, lts-12.0, 4.07.1, 8.10.2)	6h 0m 15s
Testing base, containers, transformers, GHC, etc. (ubuntu-latest, 4.07.1, 8.10.2)	6h 0m 15s
Testing containers extraction (ubuntu-latest, 8.4.3, lts-12.0, 4.07.1, 8.10.2)	6h 0m 15s
	19h 28m 38s

Provide feedback