Simon Michael 004413cc57 ;ci: linux: fix ci-linux push trigger		2020-03-19 11:44:24 -07:00
..
linux.yml	;ci: linux: fix ci-linux push trigger	2020-03-19 11:44:24 -07:00
mac.yml	;ci: reduced scheduled runs to weekly; build with all ghcs on linux	2020-03-17 17:17:41 -07:00
push.yml	;ci: reduced scheduled runs to weekly; build with all ghcs on linux	2020-03-17 17:17:41 -07:00
windows.yml	;ci: reduced scheduled runs to weekly; build with all ghcs on linux	2020-03-17 17:17:41 -07:00