docs: push&merge workflow

lliWcWill · Dec 10, 2023 · a9c9547 · a9c9547
1 parent 85aeca3
commit a9c9547
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-toc.yaml b/.github/workflows/build-toc.yaml
@@ -15,7 +15,7 @@ jobs:
     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
+        uses: actions/checkout@v3
 
       - name: Run TOC generation script
         run: |