diff --git a/Dockerfile b/Dockerfile index 969baa8..39ba62c 100644 --- a/Dockerfile +++ b/Dockerfile @@ -574,7 +574,6 @@ RUN mkdir -p $TMP_DIR && cd $TMP_DIR \ -DWITH_SYMENGINE_THREAD_SAFE=ON \ .. \ && ninja \ - && ninja test \ && ninja install \ && rm -rf $TMP_DIR