Merge branch 'main' into wydengyre

wydengyre · Jul 20, 2022 · 499ee6b · 499ee6b
2 parents cdc7a16 + 32449b3
commit 499ee6b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -2,7 +2,7 @@ name: Continuous integration
 on: pull_request
 jobs:
   ci:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-20.04
     steps:
     - name: Checkout
       uses: actions/checkout@v2
@@ -20,7 +20,7 @@ jobs:
     - name: Build examples
       run: make examples
     - name: Typecheck
-      run: npm run-script typecheck
+      run: make typecheck
     - name: Check formatting
       run: make checkformat
     - name: Run tests

diff --git a/package.json b/package.json
@@ -9,8 +9,7 @@
     "./node": "./src/node-worker.js"
   },
   "scripts": {
-    "test": "make test",
-    "typecheck": "tsc"
+    "test": "make test"
   },
   "repository": {
     "type": "git",