Update dockerfilebuilds (#170)

* update dockerfile to grobid to 0.8.0
* update ci-build actions to avoid deprecations

.github/workflows/ci-build-manual.yml

@@ -9,11 +9,13 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-    - uses: actions/checkout@v1
+    - uses: actions/checkout@v4
     - name: Set up JDK 17
-      uses: actions/setup-java@v1
+      uses: actions/setup-java@v4
       with:
-        java-version: 1.17
+        java-version: '17.0.10+7'
+        distribution: 'temurin'
+        cache: 'gradle'
     - name: Build with Gradle
       run: ./gradlew build -x test
 

.github/workflows/ci-build.yml

@@ -1,4 +1,4 @@
-name: Build
+name: Build unstable
 
 on: [push]
 
@@ -12,11 +12,13 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-    - uses: actions/checkout@v1
+    - uses: actions/checkout@v4
     - name: Set up JDK 17
-      uses: actions/setup-java@v1
+      uses: actions/setup-java@v4
       with:
-        java-version: 1.17
+        java-version: '17.0.10+7'
+        distribution: 'temurin'
+        cache: 'gradle'
     - name: Build with Gradle
       run: ./gradlew build -x test
 
@@ -36,7 +38,7 @@ jobs:
     steps:
       - name: Create more disk space
         run: sudo rm -rf /usr/share/dotnet && sudo rm -rf /opt/ghc && sudo rm -rf "/usr/local/share/boost" && sudo rm -rf "$AGENT_TOOLSDIRECTORY"
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
       - name: Build and push
         id: docker_build
         uses: mr-smithers-excellent/docker-build-push@v5

.github/workflows/ci-release.yml

@@ -16,11 +16,13 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-    - uses: actions/checkout@v1
+    - uses: actions/checkout@v4
     - name: Set up JDK 17
-      uses: actions/setup-java@v1
+      uses: actions/setup-java@v4
       with:
-        java-version: 1.17
+        java-version: '17.0.10+7'
+        distribution: 'temurin'
+        cache: 'gradle'
     - name: Build with Gradle
       run: ./gradlew build -x test
 
@@ -39,6 +41,8 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
+      - name: Create more disk space
+        run: sudo rm -rf /usr/share/dotnet && sudo rm -rf /opt/ghc && sudo rm -rf "/usr/local/share/boost" && sudo rm -rf "$AGENT_TOOLSDIRECTORY"
       - name: Set tags
         id: set_tags
         run: |
@@ -54,11 +58,12 @@ jobs:
           fi
           echo "TAGS=${TAGS}"
           echo ::set-output name=tags::${TAGS}
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
       - name: Build and push
         id: docker_build
         uses: mr-smithers-excellent/docker-build-push@v5
         with:
+          dockerfile: Dockerfile.local
           username: ${{ secrets.DOCKERHUB_USERNAME }}
           password: ${{ secrets.DOCKERHUB_TOKEN }}
           image: lfoppiano/grobid-quantities

Dockerfile

@@ -48,8 +48,7 @@ WORKDIR /opt
 # build runtime image
 # -------------------
 
-FROM grobid/grobid:0.7.3 as runtime
-
+FROM grobid/grobid:0.8.0 as runtime
 
 # setting locale is likely useless but to be sure
 ENV LANG C.UTF-8

Dockerfile.local

@@ -55,7 +55,7 @@ WORKDIR /opt
 # build runtime image
 # -------------------
 
-FROM grobid/grobid:0.7.3 as runtime
+FROM grobid/grobid:0.8.0 as runtime
 
 # setting locale is likely useless but to be sure
 ENV LANG C.UTF-8