Pin/update bikeshed-to-ts, check generated file is up-to-date in workflow

.github/workflows/deploy-to-gh-pages.yml → .github/workflows/build-and-deploy.yml

@@ -1,4 +1,4 @@
-name: Build and Deploy
+name: build-and-deploy
 on:
   pull_request:
     branches:
@@ -10,20 +10,23 @@ jobs:
   build-and-deploy:
     runs-on: ubuntu-latest
     steps:
-      - name: Checkout 🍔🍟🥤
-        uses: actions/checkout@v2.3.1
+      - uses: actions/checkout@v2.3.1
         with:
           persist-credentials: false
-
-      - name: Use Node.js 😂
-        uses: actions/setup-node@v1
+      - uses: actions/setup-node@v1
         with:
           node-version: '16.x'
 
+      - run: git submodule update --init --recommend-shallow
+
       - run: npm ci
       - run: npm test
       - run: npm run build-docs
 
+      - run: npm run generate
+      - name: Check generated file is up-to-date with gpuweb submodule (`npm run generate` to fix this)
+        run: git update-index --really-refresh && git diff-index --quiet HEAD
+
       - name: Deploy 📦
         if: ${{ success() && github.ref == 'refs/heads/main' }}
         uses: JamesIves/github-pages-deploy-action@3.6.2

.gitmodules

@@ -1,3 +1,6 @@
 [submodule "gpuweb"]
 	path = gpuweb
 	url = https://github.com/gpuweb/gpuweb.git
+[submodule "third_party/bikeshed-to-ts"]
+	path = third_party/bikeshed-to-ts
+	url = https://github.com/toji/bikeshed-to-ts.git

package.json

@@ -17,7 +17,7 @@
     "format": "prettier -w dist/index.d.ts"
   },
   "devDependencies": {
-    "bikeshed-to-ts": "github:toji/bikeshed-to-ts",
+    "bikeshed-to-ts": "file:third_party/bikeshed-to-ts",
     "prettier": "^2.2.1"
   }
 }