Add panel selection for dRL tactics #11
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# 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 |