Skip to content

Add a doc page for data mgmt (#13398) #1

Add a doc page for data mgmt (#13398)

Add a doc page for data mgmt (#13398) #1

Workflow file for this run

name: Documentation
on:
push:
branches: [ main, extensions ]
pull_request:
types: [opened, synchronize, reopened, ready_for_review]
jobs:
diff:
runs-on: [ubuntu-latest]
outputs:
isDoc: ${{ steps.diff.outputs.isDoc }}
steps:
- uses: actions/checkout@7dd9e2a3dc350cf687eb1b2a4fadfee8c8e49675 # pin@v3
- name: Detect Changes
uses: './.github/actions/diffs'
id: diff
spelling:
name: Lint documentation
needs: diff
if: needs.diff.outputs.isDoc == 'true'
runs-on: [ubuntu-latest]
steps:
- uses: actions/checkout@7dd9e2a3dc350cf687eb1b2a4fadfee8c8e49675 # pin@v3
- name: Spell Check Docs
uses: crate-ci/[email protected]
with:
files: ./doc ./*.md