Skip to content

Add CI and update to newer GHCs#19

Draft
Kleidukos wants to merge 5 commits intostepcut:masterfrom Kleidukos:master

Commits

Commits on Sep 22, 2022

Commits on Sep 23, 2022