From b0eda5e52b293e9f3e23854f600441e861a0bd49 Mon Sep 17 00:00:00 2001 From: Ulrich Bauer Date: Sun, 14 Jul 2019 09:56:34 +0200 Subject: extract results of optimization benchmarks --- benchmarks/Dockerfile | 4 ++++ 1 file changed, 4 insertions(+) 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 -- cgit v1.2.3