From d851946ec581086cc5a6efb7364aa1b9897801aa Mon Sep 17 00:00:00 2001 From: Luca Foppiano Date: Wed, 28 Feb 2024 12:50:50 +0900 Subject: [PATCH] trying to make the docker image work with github actions --- Dockerfile | 4 ++++ Dockerfile.local | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/Dockerfile b/Dockerfile index 093c6dd2..a61e5346 100644 --- a/Dockerfile +++ b/Dockerfile @@ -42,6 +42,10 @@ RUN ./gradlew downloadTransformers --no-daemon --info --stacktrace && rm -f /opt WORKDIR /opt/grobid-source RUN unzip -o /opt/grobid-source/grobid-quantities-source/build/distributions/grobid-quantities-*.zip -d grobid-quantities_distribution && mv grobid-quantities_distribution/grobid-quantities-* grobid-quantities +# Cleanup +RUN rm -rf grobid-quantities-source/.git +RUN rm -rf grobid-quantities-source/build + WORKDIR /opt # ------------------- diff --git a/Dockerfile.local b/Dockerfile.local index 32eef5a9..b77dddf3 100644 --- a/Dockerfile.local +++ b/Dockerfile.local @@ -49,6 +49,10 @@ RUN ./gradlew downloadTransformers --no-daemon --info --stacktrace && rm -f /opt WORKDIR /opt/grobid RUN unzip -o /opt/grobid/grobid-quantities-source/build/distributions/grobid-quantities-*.zip -d grobid-quantities_distribution && mv grobid-quantities_distribution/grobid-quantities-* grobid-quantities +# Cleanup +RUN rm -rf grobid-quantities-source/.git +RUN rm -rf grobid-quantities-source/build + WORKDIR /opt # -------------------