docs: merge workflow

2023-12-10 22:25:43 +08:00
parent 10dedf049c
commit 77635dadf0
1 changed files with 4 additions and 0 deletions
--- a/.github/workflows/build-toc.yaml
+++ b/.github/workflows/build-toc.yaml
@@ -4,6 +4,10 @@ on:
  push:
    branches:
      - main
+  pull_request:
+    types: [closed]
+    branches:
+      - main

 jobs:
  run-script: