Adding link verifier to PR checks

Skptak · Aug 9, 2023 · 97637f5 · 97637f5
1 parent 997b6a4
commit 97637f5
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -124,6 +124,18 @@ jobs:
         with:
           config: .github/memory_statistics_config.json
           check_against: docs/doxygen/include/size_table.md
+
+  link-verifier:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: Check Links
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        uses: Skptak/CI-CD-Github-Actions/link-verifier@main
+        with:
+          path: ./
+
   proof_ci:
     if: ${{ github.event.pull_request }}
     runs-on: cbmc_ubuntu-latest_64-core