Simon Michael 00cd14867a ;ci: really disable quick push.yml ?		2020-06-06 15:50:13 -07:00
..
linux.yml	;ci: run the heavy all-ghcs CI for all pushes, for now	2020-06-06 13:59:48 -07:00
mac.yml	;ci: add timestamp preservation to linux/mac/windows workflows too	2020-06-06 13:55:09 -07:00
push.yml	;ci: really disable quick push.yml ?	2020-06-06 15:50:13 -07:00
windows.yml	;ci: add timestamp preservation to linux/mac/windows workflows too	2020-06-06 13:55:09 -07:00