Merge pull request #11 from martinRenou/update_xeus

Update xeus
jupyterlite · May 16, 2022 · b68956a · b68956a
2 parents 9d3ef8c + 7fcc1d6
commit b68956a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -64,7 +64,7 @@ RUN cd /opt/xproperty/build && \
 # ADD "https://www.random.org/cgi-bin/randbyte?nbytes=10&format=h" skipcache
 
 RUN mkdir -p /opt/xeus &&  \
-    git clone --branch 2.4.0  --depth 1   https://github.com/jupyter-xeus/xeus.git   /opt/xeus
+    git clone --branch 2.4.1  --depth 1   https://github.com/jupyter-xeus/xeus.git   /opt/xeus
 RUN mkdir -p /xeus-build && cd /xeus-build  && ls &&\
     emcmake cmake /opt/xeus \
         -DCMAKE_INSTALL_PREFIX=/install \