ci: Merge docs-spellcheck and docs-dictcheck jobs

Both jobs run really quick, running them separate is just a waste of resources. Plus,
they are semantically closely related anyway.
This commit is contained in:
Wolfgang Walther
2024-02-22 20:12:18 +01:00
committed by Wolfgang Walther
parent c59736b902
commit 0b3f6de015
+5 -11
View File
@@ -32,6 +32,7 @@ jobs:
- run: postgrest-docs-build
- run: git diff --exit-code HEAD locales || echo "Please commit changes to the locales/ folder after running postgrest-docs-build."
spellcheck:
name: Spellcheck
runs-on: ubuntu-latest
@@ -41,18 +42,11 @@ jobs:
uses: ./.github/actions/setup-nix
with:
tools: docs
- run: postgrest-docs-spellcheck
- name: Run spellcheck
run: postgrest-docs-spellcheck
- name: Run dictcheck
run: postgrest-docs-dictcheck
dictcheck:
name: Dictcheck
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Setup Nix Environment
uses: ./.github/actions/setup-nix
with:
tools: docs
- run: postgrest-docs-dictcheck
linkcheck:
name: Linkcheck