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 |
|