From 02d3dceb34b467c314f2b6a2ceb6631c90983f54 Mon Sep 17 00:00:00 2001 From: martinRenou Date: Thu, 12 May 2022 15:50:20 +0200 Subject: [PATCH] Do not use xeus-python's master branch --- Dockerfile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Dockerfile b/Dockerfile index b311541..647fb23 100644 --- a/Dockerfile +++ b/Dockerfile @@ -47,9 +47,8 @@ RUN git config --global advice.detachedHead false ################################################################## # xeus-python build ################################################################## -# TODO Use a tag that is not master RUN mkdir -p xeus-python && \ - git clone --branch master --depth 1 https://github.com/jupyter-xeus/xeus-python.git xeus-python + git clone --branch 0.13.8 --depth 1 https://github.com/jupyter-xeus/xeus-python.git xeus-python RUN mkdir -p xeus-python/build && \ cd xeus-python/build && \