Add panel selection for dRL tactics #11

	# This action builds all keymaerax artifacts.
	#
	# See also:
	# https://www.scala-sbt.org/1.x/docs/GitHub-Actions-with-sbt.html
	name: Build
	on: [ push ]
	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout source code
	uses: actions/checkout@v4
	with:
	submodules: recursive

	- name: Set up java and sbt
	uses: actions/setup-java@v4
	with:
	distribution: temurin
	java-version: 21
	cache: sbt

	- name: Cache JLink.jar
	id: cache-jlink-jar
	uses: actions/cache@v4
	with:
	path: JLink.jar
	key: jlink-jar-${{ hashFiles('.github/actions/obtain-jlink-jar/**') }}

	- name: Obtain JLink.jar
	uses: ./.github/actions/obtain-jlink-jar
	if: ${{ steps.cache-jlink-jar.outputs.cache-hit != 'true' }}

	- name: Prepare local.properties
	run: echo "mathematica.jlink.path=JLink.jar" > local.properties

	- name: Check formatting
	run: sbt --mem 2048 scalafmtCheck Test/scalafmtCheck

	- name: Build jar files
	run: sbt --mem 2048 assembly

	- name: Compile tests
	run: sbt --mem 2048 Test/compile

Provide feedback