aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/ci.yml
AgeCommit message (Expand)AuthorFilesLines
2019-09-25GitHub ci - back to using ignore-paths.John MacFarlane1-30/+28
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