fix branch for tempest source

2 months ago · 9399c04935
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -16,7 +16,7 @@ RUN cmake .. -DCMAKE_BUILD_TYPE=Release  -DUSE_CLN_NUMBERS=ON -DUSE_GINAC=ON
 RUN make lib_carl -j $no_threads

 # Build tempest
-RUN git clone -b tempestpy_adaptions https://git.pranger.xyz/sp/tempest.git /opt/tempest
+RUN git clone -b main https://git.pranger.xyz/sp/tempest.git /opt/tempest
 RUN mkdir -p /opt/tempest/build
 WORKDIR /opt/tempest/build
 RUN cmake .. -DCMAKE_BUILD_TYPE=Release -DSTORM_DEVELOPER=OFF -DSTORM_LOG_DISABLE_DEBUG=ON -DSTORM_PORTABLE=OFF -DSTORM_USE_SPOT_SHIPPED=ON