Commit Graph

2 Commits

Author SHA1 Message Date
Simon Michael
1fb6fbe807 ;ci: github: tweaks 2020-03-06 11:06:15 -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