Build

Parallel execution of tests in the CI #3111

	# This workflow will build a Java project with Maven, and cache/restore any dependencies to improve the workflow execution time
	# For more information see: https://help.github.com/actions/language-and-framework-guides/building-and-testing-java-with-maven

	name: Build

	# https://stackoverflow.com/questions/66335225/how-to-cancel-previous-runs-in-the-pr-when-you-push-new-commitsupdate-the-curre
	concurrency:
	group: ${{ github.workflow }}-${{ github.event.pull_request.number \|\| github.ref }}
	cancel-in-progress: true

	on:
	push:
	branches: [ master, development ]
	pull_request:
	branches: [ master, development ]
	workflow_dispatch:

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4

	- name: Checkout badges branch dedicated to storing badges only
	uses: actions/checkout@v4
	with:
	ref: badges
	path: badges

	- name: Set up the Java JDK
	uses: actions/setup-java@v3
	with:
	java-version: '17'
	distribution: 'adopt'
	cache: maven

	- name: Set DAT3M_HOME
	run: echo "DAT3M_HOME=$(echo $GITHUB_WORKSPACE)" >> $GITHUB_ENV

	- name: Set DAT3M_OUTPUT
	run: echo "DAT3M_OUTPUT=$(echo $DAT3M_HOME)/output" >> $GITHUB_ENV

	integration-testing:
	needs: build
	runs-on: ubuntu-latest
	steps:
	- run: \|
	echo "Integration Testing"
	# [...]
	functional-testing:
	needs: build
	runs-on: ubuntu-latest
	steps:
	- run: \|
	echo "Functional Testing"
	# [...]
	deploy:
	needs: [integration-testing, functional-testing]
	runs-on: ubuntu-latest
	steps:
	- run: \|
	echo "Deploy Application"
	# [...]

Provide feedback