build: update gitpod image (#1722)

GridTools · Nov 4, 2024 · 725b6ba · 725b6ba
1 parent d4b1d75
commit 725b6ba
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
@@ -1,8 +1,6 @@
-FROM gitpod/workspace-python
+FROM gitpod/workspace-python-3.11
 USER root
 RUN apt-get update \
     && apt-get install -y libboost-dev \
     && apt-get clean && rm -rf /var/cache/apt/* && rm -rf /var/lib/apt/lists/* && rm -rf /tmp/*
 USER gitpod
-RUN pyenv install 3.10.2
-RUN pyenv global 3.10.2