pin python inside devcontainer

When pinned outside via .python-version it will fail as soon as your
system python does not match .python-version, which forces you to delete
it or to install another python binary which isn't optimal.

This pins python to 3.12 to match the devcontainer installed one.

Author: mangelajo

.devfile/Containerfile

@@ -17,5 +17,8 @@ RUN dnf -y install make git python3.12 libusbx python3-pyusb golang podman && dn
 
 USER 10001
 
+# Pin python to the 3.12 installed version
+RUN uv python pin 3.12
+
 # This will make sure that we always run python from our venv instead
 RUN echo "alias python='uv run python'" >> /home/user/.bashrc

.github/workflows/documentation.yaml

@@ -42,7 +42,9 @@ jobs:
           version: "latest"
 
       - name: Install Python
-        run: uv python install
+        run: |
+          uv python pin 3.12
+          uv python install
 
       - name: Setup Pages
         id: pages
@@ -80,7 +82,9 @@ jobs:
           version: "latest"
 
       - name: Install Python
-        run: uv python install
+        run: |
+          uv python pin 3.12
+          uv python install
 
       - name: Build the documentation for the current version (no warnings allowed)
         run: make sync && make docs