Commit graph

172 commits

Author SHA1 Message Date
John MacFarlane
4fe6bd4759 GitHub CI: fix finding of executables. 2019-09-16 08:12:54 -07:00
John MacFarlane
09cf70959f GitHub CI - another attempt to install artifacts. 2019-09-15 22:35:50 -07:00
John MacFarlane
9a07667ab3 GitHuB CI tweak. cabal v2-install doesn't respect --bindir? 2019-09-15 21:46:01 -07:00
John MacFarlane
2e50e7bf25 Fix syntax of cabal v2-install. 2019-09-15 19:40:39 -07:00
John MacFarlane
e367656de8 More GH CI tweaks. 2019-09-15 18:32:12 -07:00
John MacFarlane
4140ad1ac9 GitHub CI: attempt to enable artifact. 2019-09-15 18:20:26 -07:00
John MacFarlane
b023bfccf4 GitHuB CI: remove --disable-optimization and --fast. 2019-09-15 18:12:12 -07:00
John MacFarlane
172c7e3b38 Tweak GitHub CI config. 2019-09-15 18:09:26 -07:00
John MacFarlane
f580da2033 GitHuB CI: turn off optimizations. 2019-09-15 12:10:48 -07:00
John MacFarlane
3f455aedfa Github CI/windows: separate dependencies step. 2019-09-14 10:47:29 -07:00
John MacFarlane
b59e6d0376 GitHuB CI: Try adding windows build. 2019-09-13 10:54:55 -07:00
John MacFarlane
8984eb7460 Fix setting path. 2019-09-13 09:26:47 -07:00
John MacFarlane
edd7bfa434 GitHub CI - set path. 2019-09-13 09:24:14 -07:00
John MacFarlane
afbc1ca3d8 GitHub CI - try sudo 2019-09-12 23:30:05 -07:00
John MacFarlane
27968fc09d Revert "GitHub CI - try with stack."
This reverts commit 4411af8062.
2019-09-12 23:29:35 -07:00
John MacFarlane
4411af8062 GitHub CI - try with stack. 2019-09-12 23:27:56 -07:00
John MacFarlane
f2612fa1ae GitHUB CI: Try installing recent cabal. 2019-09-12 23:19:32 -07:00
John MacFarlane
ab792faa3a GitHub CI - use plain v1-cabal. 2019-09-12 23:10:20 -07:00
John MacFarlane
8a0ffba296 GitHub CI: try 'cabal new-' instead of 'v2-' 2019-09-12 23:08:05 -07:00
John MacFarlane
69b42255f2
Add haskell.yml
Add GitHub CI file
2019-09-12 23:04:58 -07:00
John MacFarlane
2bbe6edffd ISSUE_TEMPLATE: add URL for pandoc-discuss. 2017-03-13 14:38:07 +01:00
John MacFarlane
8b6a974f59 Added github ISSUE_TEMPLATE. 2017-03-13 14:34:00 +01:00