split manual workflows

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

@@ -0,0 +1,41 @@
+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.yml → .github/workflows/ci-build-manual-full.yml

@@ -1,7 +1,6 @@
-name: Build and push a development version on docker 
+name: Build and push a full docker image
 
-on: 
-  workflow_dispatch: 
+on: "workflow_dispatch"
 
 
 jobs:
@@ -19,28 +18,6 @@ jobs:
     - 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