aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/ci.yml
AgeCommit message (Collapse)AuthorFilesLines
2020-04-16nightly: don't need to apt-get install. ci: test on ghc 8.10.1.John MacFarlane1-0/+2
2020-04-13Improve linux CI caching.John MacFarlane1-3/+11
2020-04-12Improve linux caching for ci.John MacFarlane1-2/+2
2020-04-12Add caching to linux ci.John MacFarlane1-0/+15
2020-04-12Add caching for Windows stack CI.John MacFarlane1-0/+21
2020-04-12Add caching for macOS CI build.John MacFarlane1-0/+21
2019-11-30ci: remove quotes around --hide-successes.John MacFarlane1-2/+2
These seem to cause problems in windows.
2019-11-30Don't use --test-option with cabal.John MacFarlane1-1/+1
It's only supported in later versions, apparently.
2019-11-30Try --test-options with cabal.John MacFarlane1-1/+1
--test-option seems not to work (though it works with cabal 3+).
2019-11-30Hide successes in CI tests.John MacFarlane1-3/+3
This makes it easier to spot failures.
2019-11-27Revert "Don't do parallel build with cabal."John MacFarlane1-2/+2
This reverts commit bd175d13b6004086ccd3862822f97c7f090cadb4.
2019-11-27Don't do parallel build with cabal.John MacFarlane1-2/+2
Hopefully this fixes the apparent OOM error on GitHub CI?
2019-10-03Enable ghc 8.8 on ci.John MacFarlane1-2/+2
2019-10-02ci: fix linux path.John MacFarlane1-1/+1
2019-10-02ci: properly fail if warnings on linux build.John MacFarlane1-1/+1
2019-10-02ci: we don't need to install cabal/ghc manually, it seems.John MacFarlane1-5/+0
2019-10-02CI tweaks.John MacFarlane1-2/+2
2019-09-25GitHub ci - back to using ignore-paths.John MacFarlane1-30/+28
paths with ! doesn't seem to do it.
2019-09-25GitHub CI: use paths rather than paths-ignore, use branch to exclude rc/.John MacFarlane1-28/+33
2019-09-23Fix linux ci.John MacFarlane1-1/+1
2019-09-22Fix tests in linux ci (GitHub).John MacFarlane1-1/+2
2019-09-22Fix cabal command in linux ci.John MacFarlane1-1/+1
2019-09-22ci action: use list of paths to ignore.John MacFarlane1-37/+31
2019-09-21Actions ci - trigger on pull_request as well as push.John MacFarlane1-2/+1
2019-09-19CI workflow - trigger on any push, for now.John MacFarlane1-23/+23
2019-09-17Add nightly, move haskell.yml -> ci.yml.John MacFarlane1-0/+114