Skip to content

Commit 55af9ff

Browse files
authored
Upgrade python version to 3.11
1 parent 802af39 commit 55af9ff

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/actions/with-docker/Dockerfile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
ARG K_VERSION
22
FROM runtimeverificationinc/kframework-k:ubuntu-jammy-${K_VERSION}
33

4-
ARG PYTHON_VERSION=3.10
4+
ARG PYTHON_VERSION=3.11
55

66
RUN apt-get -y update \
77
&& apt-get -y install \

0 commit comments

Comments
 (0)