aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
AgeCommit message (Expand)AuthorFilesLines
2020-06-20CI: use GitHub workflow command to set system pathAlbert Krewinkel1-2/+3
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
2020-06-14CI: use ubuntu-18.04 instead of 20.04.John MacFarlane3-3/+3
2020-06-14CI: use cabal 3.2, also specify OS versions instead of 'latest.'John MacFarlane3-12/+12
2020-06-14Switch CI to use ghc 8.8.3.John MacFarlane2-3/+3
2020-06-13nightly: add ls statements to diagnose linux build failure.John MacFarlane1-0/+2
2020-05-25[CI] broken commit message length test (#6398)Nikolay Yakimov2-10/+38
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-21Revert "Add action to check commit messages for line length."John MacFarlane1-34/+0
2020-05-21Add action to check commit messages for line length.John MacFarlane1-0/+34
2020-05-04Revert "Windows CI: try adding -fexternal-interpreter as ghc option."John MacFarlane1-2/+2
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 MacFarlane2-8/+0
2020-05-04Use 'set __COMPAT_LAYER=' in Windows CI builds.John MacFarlane2-0/+8
2020-04-20CI: be more selective about caching.John MacFarlane1-11/+3
2020-04-18Revert "Hide successes on cabal CI builds"John MacFarlane1-1/+1
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-17Fix path for nightly linux build.John MacFarlane1-1/+1
2020-04-16ci: remove ghc 8.10.1 build for now.John MacFarlane1-2/+2
2020-04-16nightly: don't need to apt-get install. ci: test on ghc 8.10.1.John MacFarlane2-5/+2
2020-04-16nightly: ensure that ghc 8.8.1 is used for linux.John MacFarlane1-1/+1
2020-04-15nightly build: print ghc, cabal versions for diagnostics.John MacFarlane1-0/+2
2020-04-15Use ghc 8.8.1 for nightly linux build.John MacFarlane1-1/+1
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
2020-03-22Actions/release-candidate/macos: set up to create package locally.John MacFarlane1-13/+4
2020-01-21Windows rc: Create the release dir.John MacFarlane1-0/+1
2020-01-18windows release candidate build: More fixes to get 'light' to work.John MacFarlane1-1/+2
2020-01-18Windows ci: Add binpath when doing 'light'.John MacFarlane1-1/+1
2020-01-18Fix typo in windows ci build.John MacFarlane1-1/+1
2020-01-17Use versioned directory for windows release zipfile.John MacFarlane1-8/+9
2019-12-22Macos release workflow: just copy pandoc.1 rather than regenerating.John MacFarlane1-4/+1
2019-12-21Revert "linux release-candidate build: try setting LIBRARY_PATH."John MacFarlane1-1/+0
2019-12-21linux release-candidate build: try setting LIBRARY_PATH.John MacFarlane1-0/+1
2019-11-30ci: remove quotes around --hide-successes.John MacFarlane1-2/+2
2019-11-30Don't use --test-option with cabal.John MacFarlane1-1/+1
2019-11-30Try --test-options with cabal.John MacFarlane1-1/+1
2019-11-30Hide successes in CI tests.John MacFarlane1-3/+3
2019-11-29Add Makefile to windows release-candidate build.John MacFarlane1-2/+3
2019-11-27Revert "Don't do parallel build with cabal."John MacFarlane1-2/+2
2019-11-27Don't do parallel build with cabal.John MacFarlane1-2/+2
2019-11-18Use -j1 for rc builds.John MacFarlane1-2/+2
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-05 03:17:49 +0000