5 Commits

Author	SHA1	Message	Date
Martin Robinson	4ff23e665b	Enable the GitHub merge queue (#539)	2023-07-11 09:15:36 +00:00
Josh Matthews	a29cfaa5a2	Use real working directory.	2022-03-27 22:41:52 -04:00
Josh Matthews	84e57b3f8d	Fetch missing packages.	2022-03-27 22:39:03 -04:00
Josh Matthews	4b68e8a6c0	Fix working directory.	2022-03-27 22:35:46 -04:00
Josh Matthews	91ac84500f	Add github workflow.	2022-03-27 22:34:25 -04:00