Reinstall ant #64
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
| # This file is part of JavaSMT, | |
| # an API wrapper for a collection of SMT solvers: | |
| # https://github.com/sosy-lab/java-smt | |
| # | |
| # SPDX-FileCopyrightText: 2026 Dirk Beyer <https://www.sosy-lab.org> | |
| # | |
| # SPDX-License-Identifier: Apache-2.0 | |
| name: CI | |
| on: | |
| push | |
| jobs: | |
| dependencies: | |
| name: Download Dependencies | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Shared Ivy Cache | |
| uses: actions/cache@v5 | |
| with: | |
| path: ~/.ivy2 | |
| # We use a unique key for each run to ensure the cache is updated if needed, | |
| # while restoring from the most recent "ivy-shared-" cache. | |
| key: ivy-shared-${{ github.run_id }} | |
| restore-keys: | | |
| ivy-shared- | |
| enableCrossOsArchive: true | |
| - name: Shared Maven Cache | |
| uses: actions/cache@v5 | |
| with: | |
| path: ~/.m2/repository | |
| # We use a unique key for each run to ensure the cache is updated if needed, | |
| # while restoring from the most recent "ivy-shared-" cache. | |
| key: maven-shared-${{ github.run_id }} | |
| restore-keys: | | |
| maven-shared- | |
| enableCrossOsArchive: true | |
| maven: | |
| name: Maven | |
| needs: dependencies | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| java-version: [ 21 ] | |
| arch: [ x64 ] | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v6 | |
| - name: Set up JDK ${{ matrix.java-version }} | |
| uses: actions/setup-java@v5 | |
| with: | |
| java-version: ${{ matrix.java-version }} | |
| distribution: 'temurin' | |
| architecture: ${{ matrix.arch }} | |
| - name: Build Maven example project | |
| run: | | |
| cd doc/Example-Maven-Project | |
| mvn -DskipTests compile | |
| - name: Show solver table | |
| run: | | |
| cd doc/Example-Maven-Project | |
| mvn exec:exec | |
| - name: Run tests | |
| run: | | |
| cd doc/Example-Maven-Project | |
| mvn test | |
| - name: Upload error log | |
| uses: actions/upload-artifact@v7 | |
| if: always() | |
| with: | |
| path: doc/Example-Maven-Project/hs* | |
| archive: false | |
| macos: | |
| name: macOS (${{ matrix.arch }}, Java ${{ matrix.java-version }}) | |
| needs: dependencies | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| java-version: [21] | |
| arch: [arm64] | |
| runs-on: ${{ matrix.arch == 'arm64' && 'macos-latest' || 'macos-15-intel' }} | |
| steps: | |
| - uses: actions/checkout@v6 | |
| - name: Set up JDK ${{ matrix.java-version }} | |
| uses: actions/setup-java@v5 | |
| with: | |
| java-version: ${{ matrix.java-version }} | |
| distribution: 'temurin' | |
| architecture: ${{ matrix.arch }} | |
| - name: Build Ivy project | |
| run: | | |
| cd doc/Example-Ivy-Project | |
| ant compile | |
| - name: Show solver table | |
| run: | | |
| cd doc/Example-Ivy-Project | |
| ant run | |
| - name: Run tests | |
| run: | | |
| cd doc/Example-Ivy-Project | |
| ant test | |
| kotlin: | |
| name: Kotlin | |
| needs: dependencies | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| java-version: [ 21 ] | |
| arch: [ x64 ] | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v6 | |
| - name: Set up JDK ${{ matrix.java-version }} | |
| uses: actions/setup-java@v5 | |
| with: | |
| java-version: ${{ matrix.java-version }} | |
| distribution: 'temurin' | |
| architecture: ${{ matrix.arch }} | |
| - name: Install Gradle wrapper | |
| run: | | |
| cd doc/Example-Gradle-Project-Kotlin | |
| gradle wrapper --gradle-version latest | |
| - name: Build Kotlin example project | |
| run: | | |
| cd doc/Example-Gradle-Project-Kotlin | |
| ./gradlew build -x test | |
| - name: Show solver table | |
| run: | | |
| cd doc/Example-Gradle-Project-Kotlin | |
| ./gradlew build | |
| - name: Run tests | |
| run: | | |
| cd doc/Example-Gradle-Project-Kotlin | |
| ./gradlew test | |
| ivy: | |
| name: Ivy | |
| needs: dependencies | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| java-version: [ 21 ] | |
| arch: [ x64, arm64 ] | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v6 | |
| - name: Set up JDK ${{ matrix.java-version }} | |
| uses: actions/setup-java@v5 | |
| with: | |
| java-version: ${{ matrix.java-version }} | |
| distribution: 'temurin' | |
| architecture: ${{ matrix.arch }} | |
| - name: Install Ant | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install -y ant | |
| - name: Build Ivy project | |
| run: | | |
| cd doc/Example-Ivy-Project | |
| ant compile | |
| - name: Show solver table | |
| run: | | |
| cd doc/Example-Ivy-Project | |
| ant run | |
| - name: Run tests | |
| run: | | |
| cd doc/Example-Ivy-Project | |
| ant test |