Add assertion API and related improvements #44
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: CI | |
| on: | |
| push: | |
| branches: [ main, master, develop ] | |
| pull_request: | |
| branches: [ main, master, develop ] | |
| jobs: | |
| build-sootup: | |
| name: Build SootUp SNAPSHOT | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Set up JDK 17 | |
| uses: actions/setup-java@v3 | |
| with: | |
| java-version: '17' | |
| distribution: 'temurin' | |
| cache: gradle | |
| - name: Restore Maven repository cache | |
| uses: actions/cache/restore@v3 | |
| with: | |
| path: ~/.m2/repository | |
| key: ${{ runner.os }}-maven-sootup | |
| restore-keys: | | |
| ${{ runner.os }}-maven- | |
| - name: Clone and build SootUp repository | |
| run: | | |
| git clone https://github.com/soot-oss/SootUp.git /tmp/SootUp | |
| cd /tmp/SootUp | |
| mvn clean install -DskipTests -q -T 1C | |
| - name: Save Maven repository cache | |
| uses: actions/cache/save@v3 | |
| with: | |
| path: ~/.m2/repository | |
| key: ${{ runner.os }}-maven-sootup | |
| spotless: | |
| name: Spotless Check | |
| runs-on: ubuntu-latest | |
| needs: build-sootup | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Set up JDK 17 | |
| uses: actions/setup-java@v3 | |
| with: | |
| java-version: '17' | |
| distribution: 'temurin' | |
| cache: gradle | |
| - name: Restore Maven repository cache | |
| uses: actions/cache/restore@v3 | |
| with: | |
| path: ~/.m2/repository | |
| key: ${{ runner.os }}-maven-sootup | |
| restore-keys: | | |
| ${{ runner.os }}-maven- | |
| - name: Make gradlew executable | |
| run: chmod +x gradlew | |
| - name: Run Spotless Check | |
| run: ./gradlew spotlessCheck | |
| test: | |
| name: Run Tests | |
| runs-on: ubuntu-latest | |
| needs: spotless | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Set up JDK 17 | |
| uses: actions/setup-java@v3 | |
| with: | |
| java-version: '17' | |
| distribution: 'temurin' | |
| cache: gradle | |
| - name: Restore Maven repository cache | |
| uses: actions/cache/restore@v3 | |
| with: | |
| path: ~/.m2/repository | |
| key: ${{ runner.os }}-maven-sootup | |
| restore-keys: | | |
| ${{ runner.os }}-maven- | |
| - name: Make gradlew executable | |
| run: chmod +x gradlew | |
| - name: Run Tests | |
| run: ./gradlew test |