f

.github/workflows/check_dist.sh

@@ -0,0 +1,19 @@
+#! /usr/bin/env bash
+
+dist_index_diff=$(git diff --exit-code --text -- dist/index.js)
+
+if [[ "$dist_index_diff" ]]; then
+  echo -e "$dist_index_diff\n‼️  Changes detected to dist/index.js! \n\tPlease run \`npm run build' and commit the result." >&2
+  exit 1
+fi
+
+# - run: |
+#     if [[ "$(git status --porcelain)" != "" ]]; then
+#       echo "::set-output name=createPR::true"
+#       git config --global user.email "github-actions@github.com"
+#       git config --global user.name "github-actions[bot]"
+#       git checkout -b bots/updateGitHubDependencies-${{github.run_number}}
+#       git add .
+#       git commit -m "Update Dependencies"
+#       git push --set-upstream origin bots/updateGitHubDependencies-${{github.run_number}}
+#     fi

.github/workflows/check_dist.yml

@@ -0,0 +1,23 @@
+# Fails if any of dist/index.js needs to be rebuilt
+
+name: Check dist/index.js
+
+on:
+  push:
+    branches:
+      - main
+      - check_dist
+  pull_request:
+    branches:
+      - main
+      - check_dist
+
+jobs:
+  check_dist:
+    runs-on: ubuntu-latest
+    name: Check dist/index.js for diffs
+    steps:
+      - uses: actions/checkout@v1
+      - run: npm install
+      - run: npm run build
+      - run: "${GITHUB_WORKSPACE}/.github/workflows/check_dist.sh"