CI: Move Markdown linting to separate workflow

- Ported from mlkem-native PR#1241
- The markdown linting regularly fails because of unavailable servers.
- To prevent it from blocking the full CI to be run, this commit hoists
  it into a separate workflow.

Signed-off-by: willieyz <[email protected]>

Author: willieyz

.github/workflows/all.yml

@@ -19,6 +19,12 @@ jobs:
       id-token: 'write'
     uses: ./.github/workflows/base.yml
     secrets: inherit
+  lint-markdown:
+    name: Lint Markdown
+    permissions:
+      contents: 'read'
+      id-token: 'write'
+    uses: ./.github/workflows/lint_markdown.yml
   nix:
     name: Nix
     permissions:

.github/workflows/base.yml

@@ -24,11 +24,6 @@ jobs:
           nix-shell: ci-linter
           gh_token: ${{ secrets.GITHUB_TOKEN }}
           cross-prefix: "aarch64-unknown-linux-gnu-"
-  lint-markdown-link:
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
-    - uses: gaurav-nelson/github-action-markdown-link-check@3c3b66f1f7d0900e37b71eca45b63ea9eedfce31 # v1.0.17
   quickcheck:
     strategy:
       fail-fast: false

.github/workflows/lint_markdown.yml

@@ -0,0 +1,15 @@
+# SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
+
+name: Lint-Markdown
+permissions:
+  contents: read
+on:
+  workflow_call:
+  workflow_dispatch:
+
+jobs:
+  lint-markdown-link:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
+    - uses: gaurav-nelson/github-action-markdown-link-check@3c3b66f1f7d0900e37b71eca45b63ea9eedfce31 # v1.0.17