Skip to content

Commit

Permalink
Revert "add docker grobid development build"
Browse files Browse the repository at this point in the history
This reverts commit 44df68f.
  • Loading branch information
lfoppiano committed Dec 18, 2023
1 parent 44df68f commit 4241e14
Showing 1 changed file with 0 additions and 22 deletions.
22 changes: 0 additions & 22 deletions .github/workflows/ci-build-unstable.yml
Original file line number Diff line number Diff line change
Expand Up @@ -30,25 +30,3 @@ jobs:
format: jacoco
file: build/reports/jacoco/codeCoverageReport/codeCoverageReport.xml
debug: true

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@v5
with:
username: ${{ secrets.DOCKERHUB_USERNAME }}
password: ${{ secrets.DOCKERHUB_TOKEN }}
image: lfoppiano/grobid
dockerfile: Dockerfile.crf
registry: docker.io
pushImage: ${{ github.event_name != 'pull_request' }}
tags: latest-develop
- name: Image digest
run: echo ${{ steps.docker_build.outputs.digest }}

0 comments on commit 4241e14

Please sign in to comment.