GitHub/mermaid
1
0
Fork 0
mirror of https://github.com/mermaid-js/mermaid.git synced 2025-01-28 07:03:17 +08:00
Code Issues Projects Releases Wiki Activity

Run doc lint only if files changed

Browse Source
This commit is contained in:
Sidharth Vinod 2022-10-03 14:30:46 +08:00
parent 9c5c85d34a
commit 0a547e524e
No known key found for this signature in database
GPG Key ID: FB5CCD378D3907CD
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.github/workflows/lint-docs.yml vendored
View File

@ -18,17 +18,17 @@ jobs:
node-version: [16.x]
steps:
- uses: actions/checkout@v3
if: ${{ github.event_name == 'pull_request' }}
with:
# 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 }}
fetch-depth: 0
- 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