ssh remote: Shutdown SSH & server process correctly on app quit (#19210) #15
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Docs | |
on: | |
pull_request: | |
paths: | |
- "docs/**" | |
push: | |
branches: | |
- main | |
jobs: | |
check_formatting: | |
name: "Check formatting" | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@eef61447b9ff4aafe5dcd4e0bbf5d482be7e7871 # v4 | |
- uses: pnpm/action-setup@fe02b34f77f8bc703788d5817da081398fad5dd2 # v4.0.0 | |
with: | |
version: 9 | |
- name: Prettier Check on /docs | |
working-directory: ./docs | |
run: | | |
pnpm dlx prettier . --check || { | |
echo "To fix, run from the root of the zed repo:" | |
echo " cd docs && pnpm dlx prettier . --write && cd .." | |
false | |
} | |
- name: Check spelling | |
run: script/check-spelling docs/ |