Simon Michael d263d7291e ;ci: really disable quick push.yml ?		2020-06-06 15:42:03 -07:00
..
_push.yml	;ci: really disable quick push.yml ?	2020-06-06 15:42:03 -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
windows.yml	;ci: add timestamp preservation to linux/mac/windows workflows too	2020-06-06 13:55:09 -07:00