Commit Graph

262 Commits

Author SHA1 Message Date
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