Add additional github actions (#1094)

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

@@ -0,0 +1,64 @@
+name: Build and push a development version on docker 
+
+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 }}
+
+  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

@@ -33,7 +33,7 @@ jobs:
           file: build/reports/jacoco/codeCoverageReport/codeCoverageReport.xml
           debug: true
 
-  docker-build:
+  docker-build-crf:
     needs: [ build ]
     runs-on: ubuntu-latest
 
@@ -50,7 +50,29 @@ jobs:
           image: lfoppiano/grobid
           registry: docker.io
           pushImage: ${{ github.event_name != 'pull_request' }}
-          tags: latest-develop
+          tags: latest-develop, latest-crf
           dockerfile: Dockerfile.crf
       - name: Image digest
-        run: echo ${{ steps.docker_build.outputs.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 }}