Merge e3aceb7367 into 6d0aba0f34

.github/workflows/ci.yml

@@ -27,8 +27,4 @@ jobs:
       - uses: actions/setup-node@v4
         with:
           node-version: 18
-      - run: npm run format
-      - name: Commit changes
-        uses: stefanzweifel/git-auto-commit-action@v5
-        with:
-          commit_message: Apply formatting changes
+      - run: npm run check

package.json

@@ -11,7 +11,8 @@
   },
   "scripts": {
     "test": "npx spago@next test",
-    "format": "npx prettier --write src/**/*.js test/**/*.js; npx purs-tidy format-in-place src/**/*.purs test/**/*.purs"
+    "format": "npx prettier --write src/**/*.js test/**/*.js; npx purs-tidy format-in-place src/**/*.purs test/**/*.purs",
+    "check": "npx prettier --check src/**/*.js test/**/*.js; npx purs-tidy check src/**/*.purs test/**/*.purs"
   },
   "repository": {
     "type": "git",