Added extra options to the pip install.

2026-05-25 11:24:54 +02:00 · 2026-02-06 00:20:22 +01:00
parent d831c6e029
commit 0ed22dbbc5
1 changed files with 1 additions and 1 deletions
@@ -32,7 +32,7 @@ jobs:
          python-version: '3.13'

      - name: Install Python dependencies
-        run: python -m pip install --user -r .github/build/python/requirements.txt
+        run: python -m pip install --user -r .github/build/python/requirements.txt --require-hashes

      - name: Install Doxygen
        run: sudo apt-get update && sudo apt-get install -y doxygen