aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
AgeCommit message (Expand)AuthorFilesLines
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
2019-10-05release-candidate.yml: add zip for windows.John MacFarlane1-0/+2
2019-10-05Update release-candidate.yml for GitHub actions.John MacFarlane1-43/+82
2019-10-04windows rc: build 32- and 64-bit msi.John MacFarlane1-6/+17
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
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-22Preliminary GitHub action for release-candidate building.John MacFarlane1-0/+96
2019-09-22ci action: use list of paths to ignore.John MacFarlane1-37/+31
2019-09-21Nightly - removed diagnostics.John MacFarlane1-3/+2
2019-09-21Actions ci - trigger on pull_request as well as push.John MacFarlane1-2/+1
2019-09-21Nightly - another attempt to fix windows.John MacFarlane1-1/+1
2019-09-21Nightlies - another attempt to fix windows build.John MacFarlane1-3/+2
2019-09-20Nightlies - 6 hour schedule for now.John MacFarlane1-1/+1
2019-09-20Nightly - more windows tweaks.John MacFarlane1-2/+3
2019-09-20Nightlies - more windows diagnostics.John MacFarlane1-2/+2
2019-09-20Nightlies - run every hour for debug.John MacFarlane1-1/+1
2019-09-20nightlies - more windows diagnostics.John MacFarlane1-1/+1