Skip to content

[book] update intellij idea plugin (#100) #402

[book] update intellij idea plugin (#100)

[book] update intellij idea plugin (#100) #402

Workflow file for this run

# Copy-pasta from MystenLabs/sui/.github/workflows/docs.yml
name: Documentation
on:
push:
pull_request:
types: [opened, synchronize, reopened, ready_for_review]
jobs:
diff:
runs-on: [ubuntu-latest]
outputs:
isDoc: ${{ steps.diff.outputs.isDoc }}
isOldDoc: ${{ steps.diff.outputs.isOldDoc }}
steps:
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # Pin v4.1.1
- 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@b4ffde65f46336ab88eb53be808477a3936bae11 # Pin v4.1.1
- name: Spell Check Docs
uses: crate-ci/[email protected]
with:
files: ./src