diff options
-rw-r--r-- | benchmarks/Dockerfile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/benchmarks/Dockerfile b/benchmarks/Dockerfile index 7cc12bd..c67db52 100644 --- a/benchmarks/Dockerfile +++ b/benchmarks/Dockerfile @@ -314,5 +314,9 @@ COPY --from=benchmark-eirene /benchmark /benchmark # COPY --from=benchmark-eirene037 /benchmark /benchmark COPY --from=benchmark-dionysus2 /benchmark /benchmark +COPY --from=benchmark-ripser-no-emergent /benchmark /benchmark +COPY --from=benchmark-ripser-store-reduced /benchmark /benchmark +COPY --from=benchmark-ripser-use-reduced /benchmark /benchmark + RUN ls -l /benchmark |