Use GitHub actions for CI#163

Merged

NorfairKing merged 7 commits into

use-github-actions

Feb 25, 2021

Commits on Feb 18, 2021

Use GitHub actions for CI

mrkkrp
authored and
Tom Sydney Kerckhove
committed
Fix the test suite on Windows

mrkkrp
authored and
Tom Sydney Kerckhove
committed
Test with GHC 8.8.4

mrkkrp
authored and
Tom Sydney Kerckhove
committed
try another ci script
Tom Sydney Kerckhove
committed
split up the TH tests to try to get windows CI to pass
Tom Sydney Kerckhove
committed

Commits on Feb 25, 2021

turn off validity tests on ci
Tom Sydney Kerckhove
committed
turn off validity tests with cabal too
Tom Sydney Kerckhove
committed