Simon Michael 73634d09d5 ;ci: github: rename old workflow to disable it		2020-03-06 10:59:22 -08:00
..
linux-ci.yml	;ci: github: split into platform-specific workflows	2020-03-06 10:55:54 -08:00
mac-ci.yml	;ci: github: split into platform-specific workflows	2020-03-06 10:55:54 -08:00
multiplatform.yml.old	;ci: github: rename old workflow to disable it	2020-03-06 10:59:22 -08:00
windows-ci.yml	;ci: github: split into platform-specific workflows	2020-03-06 10:55:54 -08:00