Skip to content

Update versions in CI; add purs-tidy check#19

Merged
JordanMartinez merged 2 commits intomasterfrom
update-repo
Jul 29, 2023
Merged

Update versions in CI; add purs-tidy check#19
JordanMartinez merged 2 commits intomasterfrom
update-repo

Commits

Commits on Jul 29, 2023