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

.devcontainer/Dockerfile

@@ -9,7 +9,5 @@ COPY --from=ghcr.io/astral-sh/uv:latest /uv  /bin/uv
 COPY --from=ghcr.io/astral-sh/uv:latest /uvx /bin/uvx
 COPY ./.python-version ./
 
-RUN uv python pin "$(cat .python-version)"
-
 # Install required tools for development
 RUN apt-get update && apt-get install -y iperf3 libusb-dev

.devcontainer/devcontainer.json

@@ -5,7 +5,7 @@
 		"dockerfile": "Dockerfile"
 	},
 	"postCreateCommand": "make sync",
-	"postStartCommand": "uv run pre-commit install",
+	"postStartCommand": "uv python pin 3.12 && uv run pre-commit install",
 	"remoteUser": "vscode",
 	// Mount USB devices to devcontainer for tests
 	"mounts": [

.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