Final JEDi adjustments #249

	name: Build (non-master branch)

	on:
	push:
	branches-ignore:
	- master
	pull_request:

	jobs:
	build_standalone:
	name: Build Standalone Libraries (DSL, LSP)
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v2
	- name: Set up JDK 17
	uses: actions/setup-java@v1
	with:
	java-version: 17
	- name: Install Graphviz
	run: sudo apt-get -y install graphviz
	- name: Gradle caches
	uses: actions/cache@v2
	with:
	path: \|
	~/.gradle/caches
	~/.gradle/wrapper
	key: ${{ runner.os }}-gradle-${{ hashFiles('*/.gradle', '*/gradle-wrapper.properties') }}
	restore-keys: \|
	${{ runner.os }}-gradle-
	- name: Grant execute permission for gradlew
	run: chmod +x gradlew
	- name: Build with Gradle
	run: ./gradlew clean build
	- name: Upload coverage to Codecov
	uses: codecov/codecov-action@v4
	with:
	token: ${{ secrets.CODECOV_TOKEN }}

	build_eclipse:
	name: Build Eclipse Plugin
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v2
	- name: Set up JDK 17
	uses: actions/setup-java@v1
	with:
	java-version: 17
	- name: Install Graphviz
	run: sudo apt-get -y install graphviz
	- name: Cache local Maven repository
	uses: actions/cache@v2
	with:
	path: ~/.m2/repository
	key: ${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}
	restore-keys: \|
	${{ runner.os }}-maven-
	- name: Grant execute permission for mvnw
	run: chmod +x mvnw
	- name: Build with Maven
	run: ./mvnw clean verify

Provide feedback