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