aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/ci.yml
AgeCommit message (Expand)Author
2020-08-15Actions CI: Try cache@v2.John MacFarlane
2020-07-23Restore testing with ghc 8.0.2.2.10.1John MacFarlane
2020-07-19CI: Drop testing on ghc 8.0.2.John MacFarlane
2020-07-13[CI] Use setup-haskell actionNikolay Yakimov
2020-06-23CI: fix typo in GitHub CI workflow configAlbert Krewinkel
2020-06-20CI: use GitHub workflow command to set system pathAlbert Krewinkel
2020-06-15linux CI: use ppa to install older ghc/cabal versions.John MacFarlane
2020-06-14Linux CI: use cabal 3.2 for everything.John MacFarlane
2020-06-14CI: use ubuntu-18.04 instead of 20.04.John MacFarlane
2020-06-14CI: use cabal 3.2, also specify OS versions instead of 'latest.'John MacFarlane
2020-06-14Switch CI to use ghc 8.8.3.John MacFarlane
2020-05-25[CI] broken commit message length test (#6398)Nikolay Yakimov
2020-05-25CI: another attempt to fix line-length check.John MacFarlane
2020-05-25CI: Don't include merge commits when checking message length.John MacFarlane
2020-05-21Add commit message check to ci.yml workflow.John MacFarlane
2020-05-04Revert "Windows CI: try adding -fexternal-interpreter as ghc option."John MacFarlane
2020-05-04Windows CI: try adding -fexternal-interpreter as ghc option.John MacFarlane
2020-05-04Revert "Use 'set __COMPAT_LAYER=' in Windows CI builds."John MacFarlane
2020-05-04Use 'set __COMPAT_LAYER=' in Windows CI builds.John MacFarlane
2020-04-20CI: be more selective about caching.John MacFarlane
2020-04-18Revert "Hide successes on cabal CI builds"John MacFarlane
2020-04-18CI: Don't cache .stack-work.John MacFarlane
2020-04-18Hide successes on cabal CI buildsJohn MacFarlane
2020-04-17Add CI build for ghc 8.10.1.John MacFarlane
2020-04-16ci: remove ghc 8.10.1 build for now.John MacFarlane
2020-04-16nightly: don't need to apt-get install. ci: test on ghc 8.10.1.John MacFarlane
2020-04-13Improve linux CI caching.John MacFarlane
2020-04-12Improve linux caching for ci.John MacFarlane
2020-04-12Add caching to linux ci.John MacFarlane
2020-04-12Add caching for Windows stack CI.John MacFarlane
2020-04-12Add caching for macOS CI build.John MacFarlane
2019-11-30ci: remove quotes around --hide-successes.John MacFarlane
2019-11-30Don't use --test-option with cabal.John MacFarlane
2019-11-30Try --test-options with cabal.John MacFarlane
2019-11-30Hide successes in CI tests.John MacFarlane
2019-11-27Revert "Don't do parallel build with cabal."John MacFarlane
2019-11-27Don't do parallel build with cabal.John MacFarlane
2019-10-03Enable ghc 8.8 on ci.John MacFarlane
2019-10-02ci: fix linux path.John MacFarlane
2019-10-02ci: properly fail if warnings on linux build.John MacFarlane
2019-10-02ci: we don't need to install cabal/ghc manually, it seems.John MacFarlane
2019-10-02CI tweaks.John MacFarlane
2019-09-25GitHub ci - back to using ignore-paths.John MacFarlane
2019-09-25GitHub CI: use paths rather than paths-ignore, use branch to exclude rc/.John MacFarlane
2019-09-23Fix linux ci.John MacFarlane
2019-09-22Fix tests in linux ci (GitHub).John MacFarlane
2019-09-22Fix cabal command in linux ci.John MacFarlane
2019-09-22ci action: use list of paths to ignore.John MacFarlane
2019-09-21Actions ci - trigger on pull_request as well as push.John MacFarlane
2019-09-19CI workflow - trigger on any push, for now.John MacFarlane
generated by cgit v1.2.3 (git 2.46.0) at 2026-01-27 13:16:46 +0000