Ana Hobden ab4c528595 Rename some of the planners (#243) ... * Rename some of the planners * Fixup Mac * Also move actions * Also update CI		2023-02-10 20:35:00 +00:00
..
linux	Rename some of the planners (#243)	2023-02-10 20:35:00 +00:00
macos	Rename some of the planners (#243)	2023-02-10 20:35:00 +00:00