Skip to content

Re-enable PureScript on Linux and Windows#8252

Merged
SomeoneToIgnore merged 1 commit intozed-industries:mainfrom postsolar:update-purescriptFeb 23, 2024
+5-12

Commits