Trigger CI (#14) #2
This file contains hidden or 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
| name: scala-smtlib CI | |
| on: [push, pull_request] | |
| jobs: | |
| tests: | |
| # the CI is small enough that we can run on draft PRs as well without issue | |
| # if: github.event.pull_request.draft == false | |
| runs-on: ubuntu-latest | |
| strategy: | |
| matrix: | |
| java-version: [ 17, 21 ] | |
| env: | |
| # define Java options for both official sbt and sbt-extras | |
| JAVA_OPTS: -Xss64M -Xms1024M -Xmx8G | |
| JVM_OPTS: -Xss64M -Xms1024M -Xmx8G | |
| # solver versions to test against | |
| Z3_VER: 4.15.1 | |
| CVC4_VER: 1.8 | |
| CVC5_VER: 1.2.1 | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| submodules: recursive | |
| - name: Setup JDK | |
| uses: actions/setup-java@v4 | |
| with: | |
| distribution: temurin | |
| java-version: ${{ matrix.java-version }} | |
| - name: Install and unpack sbt | |
| run: | | |
| ./scripts/install_sbt.sh | |
| echo "PATH=./sbt/bin/:$PATH" >> "$GITHUB_ENV" | |
| - name: Install solvers | |
| run: ./scripts/install_solvers.sh $GITHUB_WORKSPACE/.local/bin $Z3_VER $CVC4_VER $CVC5_VER | |
| - name: Add solvers to PATH | |
| run: echo "$GITHUB_WORKSPACE/.local/bin" >> $GITHUB_PATH | |
| - name: Test solvers availability | |
| run: cvc5 --version && z3 --version && cvc4 --version | |
| - name: Run Tests | |
| run: sbt -Dtest-parallelism=10 -batch test | |
| - name: Run integration tests | |
| run: sbt -Dtest-parallelism=10 -batch it:test | |
| - name: Clean up | |
| run: rm -rf $JAVA_OPTS_TMP_DIR |