PureScript 0.15 updates #24

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

mjrussell merged 13 commits into purescript-react:main from pete-murphy:purs-0_15-updates

Jul 8, 2022

Try renaming workflow

Loading branch information

pete-murphy committed Jun 14, 2022

commit 57a9af8bc83d0ee28806aa426a1c2b42e8631495

.github/workflows/nodejs.yml → .github/workflows/ci.yml

-Original file line number
+Diff line change
@@ -1,4 +1,4 @@
-    name: Node CI
+    name: CI
     on:
       push:
@@ Expand Down @@