mirrors
/
mermaid
mirror of https://github.com/mermaid-js/mermaid.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

chore: Remove duplicate CI action

This commit is contained in:
Sidharth Vinod 2023-08-22 11:42:12 +05:30
parent bb01b3972d
commit 52f05552a1
No known key found for this signature in database
GPG Key ID: FB5CCD378D3907CD
1 changed files with 0 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/lint.yml vendored
View File

@ -80,12 +80,6 @@ jobs:
exit 1
fi
- name: Verify Circular dependencies
id: verifyDeps
working-directory: ./packages/mermaid
continue-on-error: ${{ github.event_name == 'push' }}
run: pnpm run checkCircle
- name: Verify Docs
id: verifyDocs
working-directory: ./packages/mermaid