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
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
dd7d144e82
;ci: linux, mac: also trigger when func tests change
2020-03-07 14:02:21 -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
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
