Commit Graph

100 Commits

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