diff --git a/src/test/docker/Dockerfile b/src/test/docker/Dockerfile index ef230a80e3884d9459185ed4e79f42715107d235..f0ae05e65389f4b89cb0cb1373a7475b054490cd 100644 --- a/src/test/docker/Dockerfile +++ b/src/test/docker/Dockerfile @@ -16,4 +16,4 @@ RUN pip3 install sphinx javasphinx recommonmark sphinx-rtd-theme sphinxcontrib-p # Alternative, if javasphinx fails because python3-sphinx is too recent: # (`_l` not found): # -RUN git clone git@github.com:simgrid/javasphinx.git && cd javasphinx && git checkout 659209069603a && pip3 install . +RUN git clone https://github.com/simgrid/javasphinx.git && cd javasphinx && git checkout 659209069603a && pip3 install .