diff options
Diffstat (limited to '.github/workflows/pull-compliance_docs.yml')
| -rw-r--r-- | .github/workflows/pull-compliance_docs.yml | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/.github/workflows/pull-compliance_docs.yml b/.github/workflows/pull-compliance_docs.yml deleted file mode 100644 index c033b62711..0000000000 --- a/.github/workflows/pull-compliance_docs.yml +++ /dev/null @@ -1,26 +0,0 @@ -name: "Pull: Compliance testing for documentation" - -on: - pull_request: - paths: - - "docs/**" - - "*.md" - -concurrency: - group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }} - cancel-in-progress: true - -jobs: - compliance-docs: - runs-on: ubuntu-latest - steps: - - name: checkout - uses: actions/checkout@v3 - - name: setup node - uses: actions/setup-node@v3 - with: - node-version: 20 - - name: install dependencies - run: make deps-frontend - - name: lint markdown - run: make lint-md |