update github action builds

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

@@ -0,0 +1,42 @@
+name: Build and push a CRF-only docker image
+
+on: 
+  workflow_dispatch: 
+
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v4
+    - name: Set up JDK 17
+      uses: actions/setup-java@v4
+      with:
+        java-version: '17.0.10+7'
+        distribution: 'temurin'
+        cache: 'gradle'
+    - name: Build with Gradle
+      run: ./gradlew build -x test
+
+  docker-build:
+    needs: [ build ]
+    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"
+      - uses: actions/checkout@v2
+      - name: Build and push
+        id: docker_build
+        uses: mr-smithers-excellent/docker-build-push@v6
+        with:
+          dockerfile: Dockerfile
+          username: ${{ secrets.DOCKERHUB_USERNAME }}
+          password: ${{ secrets.DOCKERHUB_TOKEN }}
+          image: lfoppiano/grobid
+          registry: docker.io
+          pushImage: true
+          tags: latest-develop, latest-crf
+      - name: Image digest
+        run: echo ${{ steps.docker_build.outputs.digest }}

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

@@ -0,0 +1,41 @@
+name: Build and push a full docker image
+
+on: "workflow_dispatch"
+
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v4
+    - name: Set up JDK 17
+      uses: actions/setup-java@v4
+      with:
+        java-version: '17.0.10+7'
+        distribution: 'temurin'
+        cache: 'gradle'
+    - name: Build with Gradle
+      run: ./gradlew build -x test
+
+  docker-build-full:
+    needs: [ build ]
+    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"
+      - uses: actions/checkout@v2
+      - name: Build and push
+        id: docker_build
+        uses: mr-smithers-excellent/docker-build-push@v5
+        with:
+          username: ${{ secrets.DOCKERHUB_USERNAME_LFOPPIANO }}
+          password: ${{ secrets.DOCKERHUB_TOKEN_LFOPPIANO }}
+          image: lfoppiano/grobid
+          registry: docker.io
+          pushImage: true
+          tags: latest-full
+          dockerfile: Dockerfile.delft
+      - name: Image digest
+        run: echo ${{ steps.docker_build.outputs.digest }}

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

@@ -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 clean assemble --info --stacktrace --no-daemon
 
@@ -30,3 +32,47 @@ jobs:
           format: jacoco
           file: build/reports/jacoco/codeCoverageReport/codeCoverageReport.xml
           debug: true
+
+  docker-build-crf:
+    needs: [ build ]
+    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"
+      - uses: actions/checkout@v4
+      - name: Build and push
+        id: docker_build
+        uses: mr-smithers-excellent/docker-build-push@v6
+        with:
+          username: ${{ secrets.DOCKERHUB_USERNAME_LFOPPIANO }}
+          password: ${{ secrets.DOCKERHUB_TOKEN_LFOPPIANO }}
+          image: lfoppiano/grobid
+          registry: docker.io
+          pushImage: ${{ github.event_name != 'pull_request' }}
+          tags: latest-develop, latest-crf
+          dockerfile: Dockerfile.crf
+      - name: Image digest
+        run: echo ${{ steps.docker_build.outputs.digest }}
+
+  # docker-build-full:
+  #   needs: [ build ]
+  #   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"
+  #     - uses: actions/checkout@v2
+  #     - name: Build and push
+  #       id: docker_build
+  #       uses: mr-smithers-excellent/docker-build-push@v5
+  #       with:
+  #         username: ${{ secrets.DOCKERHUB_USERNAME_LFOPPIANO }}
+  #         password: ${{ secrets.DOCKERHUB_TOKEN_LFOPPIANO }}
+  #         image: lfoppiano/grobid
+  #         registry: docker.io
+  #         pushImage: ${{ github.event_name != 'pull_request' }}
+  #         tags: latest-develop
+  #         dockerfile: Dockerfile.delft
+  #     - name: Image digest
+  #       run: echo ${{ steps.docker_build.outputs.digest }}