Simon Michael
ae6ec9525a
;ci: cleanups
2020-04-20 18:06:36 -07:00
Simon Michael
b37e929870
;ci: linux: free and show disk space
...
To help with disk space failures in the last couple of PR builds.
Seems to be https://github.com/actions/virtual-environments/issues/709 .
2020-04-20 17:21:41 -07:00
Simon Michael
faa452734f
;ci: linux: disable "show stuff"
2020-04-20 17:21:41 -07:00
Simon Michael
882068a7c2
;ci: linux: docs
2020-04-20 16:55:19 -07:00
Simon Michael
4529d9e804
;ci: windows: avoid double zipping the artifact
2020-04-01 14:14:02 -07:00
Simon Michael
7b8f0d16fd
;simplify stack.yaml filenames
2020-03-30 15:35:53 -07:00
Simon Michael
be9a2b2cad
;doc: github: add liberapay
2020-03-19 18:30:36 -07:00
Simon Michael
a6803603d0
;doc: github funding: add patreon
2020-03-19 18:29:38 -07:00
Simon Michael
004413cc57
;ci: linux: fix ci-linux push trigger
2020-03-19 11:44:24 -07:00
Simon Michael
36177e48fb
;ci: linux: syntax
2020-03-17 17:52:15 -07:00
Simon Michael
b5c332dde3
;ci: linux: don't let one failing ghc cancel the rest; doc
2020-03-17 17:45:27 -07:00
Simon Michael
748708731a
;ci: linux: fix syntax
2020-03-17 17:26:13 -07:00
Simon Michael
659531fabc
;ci: linux: dummy change to force CI
2020-03-17 17:24:33 -07:00
Simon Michael
99dc37d0ab
;ci: reduced scheduled runs to weekly; build with all ghcs on linux
2020-03-17 17:17:41 -07:00
Simon Michael
a259992f93
;ci: note caching/scheduled issue
2020-03-17 09:55:29 -07:00
Simon Michael
1c90132870
ci: windows: avoid GHC 8.8.3, having trouble with Decimal
2020-03-16 18:47:37 -07:00
Simon Michael
0bc157caaa
ci: stop running nightly CIs on each push
...
Pushing to master now only triggers the quick "push" workflow.
The nightlies run nightly or on push to a "ci-PLATFORM" branch.
(And the linux nightly workflow is also used for pull requests, for now.)
I might split these up a bit more, but as yet there's no way of
sharing common code between workflows.
2020-03-16 16:30:14 -07:00
Simon Michael
33df4dbccb
;ci: set PATH before running shelltest
...
Not sure why this is failing only now..
2020-03-16 10:34:36 -07:00
Simon Michael
dcd557d5cb
;ci: linux: try enabling scheduled nightly again
2020-03-16 09:57:36 -07:00
Simon Michael
1b93406749
ci: disable failing windows command
2020-03-16 09:03:18 -07:00
Simon Michael
5139e2a63e
;ci: github: fix trigger paths
2020-03-12 08:15:32 -07:00
Simon Michael
e0cbcd3e2e
;ci: dummy change to test times following an all green push
2020-03-07 15:15:09 -08:00
Simon Michael
be25c28822
ci: --pedantic is too much for now
2020-03-07 14:53:12 -08:00
Simon Michael
08cfcc4f2b
;ci: use --pedantic on windows too
2020-03-07 14:45:54 -08:00
Simon Michael
5639b47d85
;ci: use --pedantic for all; fix a warning with unit test suites
2020-03-07 14:43:50 -08:00
Simon Michael
7e1bceff35
;ci: linux: rebuild code faster for haddock (it always rebuilds)
2020-03-07 14:39:43 -08:00
Simon Michael
1f03c74b0d
;ci: files cleanup
2020-03-07 14:36:27 -08:00
Simon Michael
36bc5b899b
;ci: cleanups; update quick CI like the others
2020-03-07 14:33:05 -08:00
Simon Michael
dd7d144e82
;ci: linux, mac: also trigger when func tests change
2020-03-07 14:02:21 -08:00
Simon Michael
e725b6bb47
;ci: mac: smart caching like the others; add func tests
2020-03-07 13:39:53 -08:00
Simon Michael
191b9435f9
;ci: linux: group shelltestrunner steps
2020-03-07 13:39:38 -08:00
Simon Michael
0cdbd3049b
;ci: linux: reuse old caches once more to save rebuilding
2020-03-07 13:34:23 -08:00
Simon Michael
4526938d39
;ci: github: linux: don't break if dirs are missing
2020-03-07 13:30:56 -08:00
Simon Michael
7598173765
;ci: github: linux: check out first, for smart caching
2020-03-07 13:28:44 -08:00
Simon Michael
b69d5b6799
;ci: github: linux: separate haddock, make it a bit faster/quieter
2020-03-07 13:27:23 -08:00
Simon Michael
8863ac5fdf
;ci: github: linux: use smarter caching as in windows workflow
2020-03-07 13:26:48 -08:00
Simon Michael
e2402c46de
;ci: github: windows: tweak
2020-03-07 04:16:26 -08:00
Simon Michael
67d7aae7dc
;ci: github: windows: tweak caching
2020-03-07 04:00:40 -08:00
Simon Michael
bcb9c05594
;ci: github: windows: tweak caching
2020-03-07 03:51:38 -08:00
Simon Michael
7db7e69a1e
;ci: github: windows: tweak caching
2020-03-07 03:40:48 -08:00
Simon Michael
5b2238696a
;ci: github: windows: tweak caching
2020-03-07 03:35:19 -08:00
Simon Michael
1e343a86ae
;ci: github: windows: tweak caching
2020-03-07 03:29:51 -08:00
Simon Michael
74f408b06f
;ci: github: windows: tweak caching
2020-03-07 03:24:45 -08:00
Simon Michael
45c0577397
;ci: github: windows: tweak caching
2020-03-07 03:22:44 -08:00
Simon Michael
4abeae5eeb
;ci: github: windows: tweak caching
2020-03-07 03:14:54 -08:00
Simon Michael
5e96ae8224
;ci: github: windows: tweak caching
2020-03-07 03:09:30 -08:00
Simon Michael
db8bd22c6f
;ci: github: windows: tweak caching
2020-03-07 02:57:59 -08:00
Simon Michael
0d4158dfe0
;ci: github: windows: tweak caching
2020-03-07 02:50:26 -08:00
Simon Michael
d19ea62297
;ci: github: windows: tweak caching
2020-03-07 02:42:58 -08:00
Simon Michael
051fab84a2
;ci: github: windows: tweak caching
2020-03-07 02:23:54 -08:00
Simon Michael
7084f833e2
;ci: github: windows: tweak caching
2020-03-07 02:05:27 -08:00
Simon Michael
9e8fdcf241
;ci: github: windows: tweak caching
2020-03-07 01:51:53 -08:00
Simon Michael
fb6f76f12a
;ci: github: windows: tweak caching
2020-03-07 01:38:10 -08:00
Simon Michael
d1dbcbdaf0
;ci: github: windows: tweak caching
2020-03-07 01:36:50 -08:00
Simon Michael
ed3ba55f20
;ci: github: windows: tweak caching
2020-03-07 01:35:07 -08:00
Simon Michael
4ba119cb8f
;ci: github: windows: tweak caching
2020-03-07 01:32:47 -08:00
Simon Michael
cdc7663abf
;ci: github: windows: caching is not quite right; experiment
2020-03-07 01:14:05 -08:00
Simon Michael
dc2f60fe63
;ci: github: windows: tweak zip file upload
2020-03-06 20:24:59 -08:00
Simon Michael
dab7c214c9
;ci: github: windows: generate zip file
2020-03-06 20:06:20 -08:00
Simon Michael
2cfed3af24
;ci: github: react to the specific yml file
2020-03-06 19:37:35 -08:00
Simon Michael
405ce9ea99
;ci: github: quick: actually, keep using the same cache as linux-nightly
2020-03-06 19:34:43 -08:00
Simon Michael
0b96539051
;ci: github: comments
2020-03-06 19:00:10 -08:00
Simon Michael
c2191c53c4
;ci: github: tweaks
2020-03-06 18:31:18 -08:00
Simon Michael
dc9deb8931
;ci: github: tweaks; quick tests for push, more tests for pull reqs
2020-03-06 13:54:32 -08:00
Simon Michael
9501c89711
;ci: github: windows tweaks
2020-03-06 11:41:27 -08:00
Simon Michael
73f2b87f94
;ci: github: windows tweaks
2020-03-06 11:34:48 -08:00
Simon Michael
5d419f8607
;ci: github: windows tweaks
2020-03-06 11:31:43 -08:00
Simon Michael
49b9913b8c
;ci: github: windows tweaks
2020-03-06 11:24:26 -08:00
Simon Michael
5a7eeaa7b2
;ci: github: windows tweaks
2020-03-06 11:21:52 -08:00
Simon Michael
3909b76a20
;ci: github: windows tweaks
2020-03-06 11:16:13 -08:00
Simon Michael
1fb6fbe807
;ci: github: tweaks
2020-03-06 11:06:15 -08:00
Simon Michael
73634d09d5
;ci: github: rename old workflow to disable it
2020-03-06 10:59:22 -08:00
Simon Michael
05fada7833
;ci: github: split into platform-specific workflows
...
Basic mac/windows ones, usually run nightly, and a more thorough linux
one, run for noteworthy push/pull requests.
And the usual round of tweaks.
2020-03-06 10:55:54 -08:00
Simon Michael
539d1f676e
;ci: github: notes
2020-03-06 10:03:46 -08:00
Simon Michael
9d4d1ab7e2
ci: github: tweaks
2020-03-06 04:19:25 -08:00
Simon Michael
d259bd5a36
ci: github: tweaks
2020-03-06 03:30:14 -08:00
Simon Michael
5acc873240
ci: github: tweaks
2020-03-06 02:50:57 -08:00
Simon Michael
c0b8672ef5
ci: github: tweaks
2020-03-06 02:48:16 -08:00
Simon Michael
dd944ccb68
ci: github: tweaks
2020-03-06 02:45:43 -08:00
Simon Michael
8cc6608319
ci: github: tweaks
2020-03-06 02:43:19 -08:00
Simon Michael
fefb8062ba
ci: github: tweaks
2020-03-06 02:21:15 -08:00
Simon Michael
9b2f1d399c
ci: github: tweaks
2020-03-06 01:58:18 -08:00
Simon Michael
6b217435c4
ci: github: tweaks
2020-03-06 01:54:18 -08:00
Simon Michael
715b274bb0
ci: github: tweaks
2020-03-06 01:44:53 -08:00
Simon Michael
b91fd10b2e
ci: github: tweaks
2020-03-06 01:39:14 -08:00
Simon Michael
3ff5b336c0
ci: github: tweaks
2020-03-06 01:37:55 -08:00
Simon Michael
9bf3e167da
ci: github: tweaks
2020-03-06 01:36:22 -08:00
Simon Michael
c7977b6c6f
ci: github: tweaks
2020-03-06 01:33:45 -08:00
Simon Michael
4e96639b81
ci: github: tweaks
2020-03-06 01:27:13 -08:00
Simon Michael
23f8462d47
ci: github: tweaks
2020-03-06 01:23:35 -08:00
Simon Michael
fe5cfe8ed2
ci: github: tweaks
2020-03-06 01:22:29 -08:00
Simon Michael
71f3f8295a
ci: github: tweaks
2020-03-06 01:05:18 -08:00
Simon Michael
bba0c0121d
ci: github: tweaks
2020-03-06 00:58:41 -08:00
Simon Michael
d5b28c5a3d
ci: github: tweaks
2020-03-06 00:56:06 -08:00
Simon Michael
e1cffdfe06
ci: github: tweaks
2020-03-06 00:55:12 -08:00
Simon Michael
7457b2870a
ci: github: tweaks
2020-03-06 00:52:51 -08:00
Simon Michael
8ec825d74c
ci: github: tweaks
2020-03-06 00:51:34 -08:00
Simon Michael
d68f5cf136
ci: github: tweaks
2020-03-06 00:33:35 -08:00
Simon Michael
146c1fe03e
ci: github: tweaks
2020-03-06 00:32:12 -08:00
Simon Michael
fe0149ac93
ci: github: that worked, try all os's again
2020-03-06 00:22:39 -08:00
Simon Michael
e02d711df1
ci: github: windows-latest on its own
2020-03-06 00:11:30 -08:00
Simon Michael
b6bf0cc12b
ci: github: disable unused get-package action, link to action docs
2020-03-06 00:10:34 -08:00
Simon Michael
4191190073
ci: github: fix ~/.stack caching
2020-03-06 00:00:44 -08:00
Simon Michael
7b39151346
ci: github: drop windows for now, not recognised
2020-03-05 19:57:41 -08:00
Simon Michael
28cedbfc88
ci: github: more tweaks
2020-03-05 19:51:57 -08:00
Simon Michael
6ce2854543
ci: github: try another windows os name
2020-03-05 19:13:11 -08:00
Simon Michael
4693212bcd
ci: github: try adding mac/windows, caching
2020-03-05 19:02:59 -08:00
Simon Michael
d97ec1640b
ci: try github actions
2020-03-05 18:28:04 -08:00
Simon Michael
a5ff9d6a63
;doc: update issue templates
...
[ci skip]
2020-01-20 14:15:40 -08:00
Simon Michael
573a2a7860
;doc: update issue templates
...
[ci skip]
2020-01-20 14:01:10 -08:00
Simon Michael
0f14c0f010
;doc: update issue templates
...
[ci skip]
2020-01-20 13:55:36 -08:00
Simon Michael
da18680283
;doc: update issue templates
...
[ci skip]
2020-01-20 13:51:28 -08:00
Simon Michael
74e9f4e3c2
;doc: update issue templates
...
[ci skip]
2020-01-20 13:41:51 -08:00
Simon Michael
3e770f4078
;doc: update issue template, suggest checking manual
...
[ci skip]
2020-01-20 13:27:27 -08:00
Simon Michael
5163a1e5e3
;github: issue templates: tweak support wording
...
[ci skip]
2019-06-07 08:14:07 -07:00
Simon Michael
4df3eef87a
;github: issue templates: content is plain text
...
[ci skip]
2019-06-07 08:08:56 -07:00
Simon Michael
1017aafaed
;github: issue templates: tweaks
...
[ci skip]
2019-06-07 08:03:06 -07:00
Simon Michael
d700670729
;github: issue templates: fix description
...
[ci skip]
2019-06-07 07:54:45 -07:00
Simon Michael
46ab00e2cd
;github: issue templates: try quoting # to fix description
...
[ci skip]
2019-06-07 07:53:37 -07:00
Simon Michael
094b05898f
;github: separate bug/wish issue templates
...
That went pretty well. More tweaks, add a third for redirecting
support requests.
[ci skip]
2019-06-07 07:49:28 -07:00
Simon Michael
9878e30d3e
;github: separate bug/wish issue templates
...
First attempt.
[ci skip]
2019-06-07 07:23:05 -07:00
Simon Michael
e97a9c4bfa
Create FUNDING.yml
2019-05-29 22:43:52 -07:00
Simon Michael
68999e61fb
;fix pull request template link; comment the help text
...
[ci skip]
2019-03-07 11:36:15 -08:00
Simon Michael
1e7760a2c7
doc: simplify pull request template, link to more detailed wiki doc
...
[ci skip]
2018-10-29 16:07:24 -07:00
Simon Michael
7edca3eb04
doc: pull request guidelines tweak
...
[ci skip]
2018-10-29 12:16:39 -07:00
Simon Michael
efb332cc23
doc: pull request guidelines
...
[ci skip]
2018-10-29 11:11:07 -07:00
Simon Michael
82446204f9
Update issue templates
2018-10-29 08:43:28 -07:00
Simon Michael
6ffbaf29ff
Update issue templates
2018-10-29 08:35:29 -07:00
Simon Michael
7198c45fbe
Update issue templates
2018-10-29 08:29:42 -07:00
Simon Michael
c93579c124
Update issue templates
2018-10-29 08:27:50 -07:00
Simon Michael
620e34aaed
Update issue templates
...
First issue template, guiding user support questions elsewhere.
2018-10-29 08:24:05 -07:00