Use ConcurrentHashMap for execution repository #59

	name: Build and Test (Merge to Master)

	on:
	push:
	branches: [master]

	jobs:

	build:
	name: Build and Test
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v1

	- name: Set up JDK 11
	uses: actions/setup-java@v1
	with:
	java-version: 1.11

	- name: Maven Package
	run: mvn clean install -Dmaven.test.skip=true

	test-coverage:
	needs: build
	runs-on: ubuntu-latest

	permissions:
	# Give the default GITHUB_TOKEN write permission to commit and push the
	# added or changed files to the repository.
	contents: write

	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-java@v1
	with:
	java-version: 11

	- run: ./environment/build.sh && mvn clean && sudo mvn -B verify -P coverage --no-transfer-progress

	- name: jacoco-badge-generator
	uses: cicirello/[email protected]
	with:
	generate-coverage-badge: true

	- name: Log coverage percentage
	run: \|
	echo "coverage = ${{ steps.jacoco.outputs.coverage }}"
	echo "branch coverage = ${{ steps.jacoco.outputs.branches }}"

	- name: Commit the badge (if it changed)
	uses: stefanzweifel/git-auto-commit-action@v5 # Commit all changed files back to the repository

Provide feedback