docs: push&merge workflow

This commit is contained in:
LouisShark 2023-12-10 22:35:54 +08:00
parent 85aeca36c0
commit a9c9547bf6

View file

@ -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: |