Skip to content

Commit 5dea147

Browse files
chore(deps): pin python docker tag to 47d28e7
1 parent d9f0ce3 commit 5dea147

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

Dockerfile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
# The devcontainer should use the developer target and run as root with podman
22
# or docker with user namespaces.
3-
ARG PYTHON_VERSION=3.12
3+
ARG PYTHON_VERSION=3.12@sha256:47d28e7d429679c31c3ea60e90857c54c7967084685e2ee287935116e5a79b92
44
FROM python:${PYTHON_VERSION} AS developer
55

66
# Add any system dependencies for the developer/build environment here

0 commit comments

Comments
 (0)