docs: push&merge workflow

lliWcWill · Dec 10, 2023 · 85aeca3 · 85aeca3
1 parent 1f33ad9
commit 85aeca3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-toc.yaml b/.github/workflows/build-toc.yaml
@@ -12,7 +12,7 @@ on:
 jobs:
   run-script:
     runs-on: ubuntu-latest
-    if: github.event.pull_request.merged == true
+    if: (github.event_name == 'push' && github.ref == 'refs/heads/main') || (github.event.pull_request.merged == true && github.base_ref == 'main')
     steps:
       - name: Checkout repository
         uses: actions/checkout@v2