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