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