From 0a547e524e1b6f9b98489a847670dea6733d10ab Mon Sep 17 00:00:00 2001 From: Sidharth Vinod Date: Mon, 3 Oct 2022 14:30:46 +0800 Subject: [PATCH] Run doc lint only if files changed --- .github/workflows/lint-docs.yml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/.github/workflows/lint-docs.yml b/.github/workflows/lint-docs.yml index 734363a22..20caab6f0 100644 --- a/.github/workflows/lint-docs.yml +++ b/.github/workflows/lint-docs.yml @@ -18,17 +18,17 @@ jobs: node-version: [16.x] steps: - uses: actions/checkout@v3 - if: ${{ github.event_name == 'pull_request' }} - with: - # repository: ${{ github.event.pull_request.head.repo.full_name }} - # ref: ${{ github.event.pull_request.head.ref }} - fetch-depth: 0 + # if: ${{ github.event_name == 'pull_request' }} + # with: + # fetch-depth: 0 + # repository: ${{ github.event.pull_request.head.repo.full_name }} + # ref: ${{ github.event.pull_request.head.ref }} - name: Run changed-files using the fork point of a pull request id: changed-files-fork-point uses: tj-actions/changed-files@v29 with: - use_fork_point: 'true' + # use_fork_point: 'true' files: | packages/mermaid/src/docs/* packages/mermaid/src/docs.mts