This repository was archived by the owner on Aug 4, 2023. It is now read-only.

Remove eslint - #26

Merged

thomashoneyman merged 1 commit into

purescript-deprecated:github-actionsfrom

milesfrain:github-actions

Dec 9, 2020

Workflow runs completed with no jobs