17 commits

Author	SHA1	Message	Date
ajeffrey@roblox.com	cf7a40c0d9	Another shot at caching	2022-02-08 12:56:57 -06:00
ajeffrey@roblox.com	e8fb809058	Another shot at caching	2022-02-08 12:45:39 -06:00
ajeffrey@roblox.com	4d4013a7c8	Another shot at caching	2022-02-08 11:49:32 -06:00
ajeffrey@roblox.com	48f3304c69	Another shot at caching	2022-02-08 11:35:04 -06:00
ajeffrey@roblox.com	180e739581	Try to get caching to work	2022-02-08 11:18:23 -06:00
ajeffrey@roblox.com	ffd7b55fef	Another shot at getting the smoketest to run	2022-02-08 10:41:52 -06:00
ajeffrey@roblox.com	dbf35b4176	Get smoketest to run	2022-02-08 10:30:53 -06:00
ajeffrey@roblox.com	1aae874c38	Try package-env not package-db	2022-02-08 10:07:56 -06:00
ajeffrey@roblox.com	ae1f2e2e86	Try using an explcit package.db	2022-02-08 09:55:24 -06:00
ajeffrey@roblox.com	48831529d8	Try to get cabal weirdness not to be weird	2022-02-07 22:03:58 -06:00
ajeffrey@roblox.com	90e356c77c	Try to get cabal weirdness not to be weird	2022-02-07 21:40:13 -06:00
ajeffrey@roblox.com	7dae33b7ae	Try to get cabal weirdness not to be weird	2022-02-07 21:14:16 -06:00
ajeffrey@roblox.com	8c390ffee2	Try to get cabal weirdness not to be weird	2022-02-07 20:10:15 -06:00
ajeffrey@roblox.com	2d04049077	Run prototypinmg action when workflows dir changes	2022-02-07 19:35:01 -06:00
ajeffrey@roblox.com	d0a4510d2d	Install agda from cabal	2022-02-07 19:00:47 -06:00
ajeffrey@roblox.com	ce9b7e4c70	Add cabal update to workflow	2022-02-07 17:10:58 -06:00
ajeffrey@roblox.com	a1325c106d	First cut github actions	2022-02-07 17:04:34 -06:00