aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/ci.yml
AgeCommit message (Collapse)AuthorFilesLines
2020-09-22CI: use checkout@v2, and use haskell-setup to install stack.John MacFarlane1-7/+8
2020-09-20CI: bump tested GHC versions to 8.8.4 and 8.10.2Albert Krewinkel1-4/+3
Besides being newer, GHC version 8.10.2 comes preinstalled on GitHub Actions environments; using it slightly speeds up CI tests.
2020-09-20CI: remove duplicate build step on macOSAlbert Krewinkel1-6/+0
2020-09-10CI: use cabal for macos builds.John MacFarlane1-17/+34
2020-09-03CI/macOS: Fix stack invocations.John MacFarlane1-3/+3
2020-09-03CI/macOs: Use setup-haskell to setup stack.John MacFarlane1-4/+7
2020-08-15Actions CI: Try cache@v2.John MacFarlane1-10/+14
2020-07-23Restore testing with ghc 8.0.2.John MacFarlane1-0/+2
2020-07-19CI: Drop testing on ghc 8.0.2.John MacFarlane1-2/+0
2020-07-13[CI] Use setup-haskell actionNikolay Yakimov1-10/+4
2020-06-23CI: fix typo in GitHub CI workflow configAlbert Krewinkel1-2/+2
Switch `ignore-paths` with `paths-ignore`.
2020-06-20CI: use GitHub workflow command to set system pathAlbert Krewinkel1-2/+3
This way, the PATH environment variable does not have to be set repeatedly in each step.
2020-06-15linux CI: use ppa to install older ghc/cabal versions.John MacFarlane1-3/+14
2020-06-14Linux CI: use cabal 3.2 for everything.John MacFarlane1-4/+4
The ubuntu images no longer contain older cabal versions, it semes.
2020-06-14CI: use ubuntu-18.04 instead of 20.04.John MacFarlane1-1/+1
2020-06-14CI: use cabal 3.2, also specify OS versions instead of 'latest.'John MacFarlane1-4/+4
2020-06-14Switch CI to use ghc 8.8.3.John MacFarlane1-1/+1
This should fix CI failures.
2020-05-25[CI] broken commit message length test (#6398)Nikolay Yakimov1-10/+0
* [CI] Fix commit message length check * [CI] Smarter commit message length check * [CI] Fix commit message length check for new branches * [CI] Output offending commits
2020-05-25CI: another attempt to fix line-length check.John MacFarlane1-2/+1
2020-05-25CI: Don't include merge commits when checking message length.John MacFarlane1-1/+1
2020-05-21Add commit message check to ci.yml workflow.John MacFarlane1-0/+11
2020-05-04Revert "Windows CI: try adding -fexternal-interpreter as ghc option."John MacFarlane1-2/+2
This reverts commit 47bfcfb406e2980f07fea9c9884f037a0a670f03.
2020-05-04Windows CI: try adding -fexternal-interpreter as ghc option.John MacFarlane1-2/+2
2020-05-04Revert "Use 'set __COMPAT_LAYER=' in Windows CI builds."John MacFarlane1-6/+0
This reverts commit 030c23e04970570ec6f6aa574da33193366d77a9.
2020-05-04Use 'set __COMPAT_LAYER=' in Windows CI builds.John MacFarlane1-0/+6
It is suggested at https://github.com/commercialhaskell/stack/issues/3765 that this may solve the "access violation" we're currently getting on Windows CI with ghc 8.8.
2020-04-20CI: be more selective about caching.John MacFarlane1-11/+3
Only use the cache if stack.yaml or cabal.project hasn't changed.
2020-04-18Revert "Hide successes on cabal CI builds"John MacFarlane1-1/+1
This reverts commit 671bb42c43ff82cbbbdfce339ce1b0184274015d. It didn't work with some older cabal versions.
2020-04-18CI: Don't cache .stack-work.John MacFarlane1-11/+11
2020-04-18Hide successes on cabal CI buildsJohn MacFarlane1-1/+1
2020-04-17Add CI build for ghc 8.10.1.John MacFarlane1-2/+2
2020-04-16ci: remove ghc 8.10.1 build for now.John MacFarlane1-2/+2
This is block by base-noprelude.
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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-14 23:18:01 +0000