chore: pin to match requirements file

2023-06-05 17:14:41 +02:00
parent 1a385556fd
commit b2df5dbb84
1 changed files with 3 additions and 1 deletions
--- a/4
+++ b/4
@ -8,4 +8,6 @@ WORKDIR /docs

 RUN apk add --no-cache curl

-RUN pip install mkdocs-awesome-pages-plugin mkdocs-material-extensions
+RUN pip install \
+  mkdocs-awesome-pages-plugin==2.9.1 \
+  mkdocs-material-extensions==1.1.1