build.yml

# 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