Merge pull request #27 from ElNiak/development-formal-attacks

add requrement
ElNiak · Jun 3, 2024 · 0d50af6 · 0d50af6
2 parents 5d79554 + 880d7e5
commit 0d50af6
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/.github/workflows/pr-generate-docs.yaml b/.github/workflows/pr-generate-docs.yaml
@@ -18,7 +18,7 @@ jobs:
         uses: "actions/checkout@v3"
       - name: "Generate docs"
         run: |
-          pip3 install setup.py
+          pip install -r requirements.txt
           make gen-docs
           mkdocs gh-deploy --force --clean
           mv sources docs

diff --git a/requirements.txt b/requirements.txt
@@ -0,0 +1,9 @@
+docker
+click
+termcolor
+terminal_banner
+paramiko
+mkgendocs == 0.9.2
+mkdocs-material == 9.1.15
+mkdocs == 1.5.0
+PyYAML == 6.0.1