build-and-run-tests.yml

name: Build and run simple ksmt tests

on:
  push:
    branches:
      - main

  pull_request:
    types: [ opened, edited ]
    branches:
      - main

jobs:
  run_tests:
    name: Run tests
    strategy:
      matrix:
        os: [ ubuntu-20.04, windows-latest, macos-latest ]

    runs-on: ${{ matrix.os }}

    steps:
      - uses: actions/checkout@v4

      - name: Set up JDK 1.8
        uses: actions/setup-java@v4
        with:
          java-version: 8
          distribution: 'zulu'
          cache: gradle

      - name: Setup gradle
        uses: gradle/actions/setup-gradle@v3

      - name: Build and run z3 tests on macOS
        if: runner.os == 'macOS'
        run: ./gradlew :ksmt-z3:build --no-daemon --continue -PrunBenchmarksBasedTests=false

      - name: Build and run simple tests on Linux or Windows
        if: runner.os != 'macOS'
        run: ./gradlew build --no-daemon --continue -PrunBenchmarksBasedTests=false

      - name: Upload ksmt test reports
        uses: actions/upload-artifact@v4
        if: always()
        with:
          name: ksmt-tests-report-${{ matrix.os }}
          path: ./**/build/reports/tests/test/