Merge pull request #165 from lfoppiano/remove-seed-delft #94

	name: Build

	on: [push]

	concurrency:
	group: gradle
	# cancel-in-progress: true


	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v1
	- name: Set up JDK 17
	uses: actions/setup-java@v1
	with:
	java-version: 1.17
	- name: Build with Gradle
	run: ./gradlew build -x test

	- name: Test with Gradle Jacoco and Coveralls
	run: ./gradlew test jacocoTestReport coveralls --no-daemon

	- name: Coveralls GitHub Action
	uses: coverallsapp/github-action@v2
	with:
	github-token: ${{ secrets.GITHUB_TOKEN }}
	format: jacoco

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

Provide feedback