Run docmatch on PR/push too

valpackett · valpackett · commit 72badf3e5abb · 2024-07-18T06:09:25.000-03:00
diff --git a/.github/workflows/compare.yaml b/.github/workflows/compare.yaml
@@ -1,6 +1,9 @@
 name: Compare spec to docs
 on:
   workflow_dispatch:
+  pull_request:
+  push:
+    branches: [master]
 jobs:
   compare:
     runs-on: ubuntu-22.04
