9 commits

Author	SHA1	Message	Date
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