Commit Graph

121 Commits

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