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
