Pin dependency versions for documentation (#316)

spicelang · Sep 9, 2023 · 238c5b5 · 238c5b5
1 parent 6449e90
commit 238c5b5
Show file tree

Hide file tree

Showing 3 changed files with 20 additions and 3 deletions.
diff --git a/.github/dependabot.yml b/.github/dependabot.yml
@@ -16,7 +16,7 @@ updates:
 
   # GitHub Actions
   - package-ecosystem: github-actions
-    directory: /
+    directory: .github/workflows/
     schedule:
       interval: daily
       time: "04:00"
@@ -26,4 +26,18 @@ updates:
     reviewers:
       - spicelang/compiler-team
     assignees:
-      - spicelang/compiler-team
+      - spicelang/compiler-team
+
+  # Python
+  - package-ecosystem: pip
+    directory: docs/
+    schedule:
+      interval: weekly # Weekly, because material for mkdocs updates quite often
+      time: "04:00"
+      timezone: Europe/Berlin
+    open-pull-requests-limit: 15
+    target-branch: main
+    reviewers:
+      - spicelang/documentation-team
+    assignees:
+      - spicelang/documentation-team
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -25,7 +25,7 @@ jobs:
           python-version: 3.x
 
       - name: Install dependencies
-        run: pip install mkdocs-material mkdocs-minify-plugin lunr
+        run: pip install -r docs/requirements.txt
 
       - name: Build and deploy
         working-directory: docs

diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -0,0 +1,3 @@
+mkdocs-material==9.2.8
+mkdocs-minify-plugin==0.7.1
+lunr==0.7.0.post1