Skip to content

Broad Release Tests #69

Broad Release Tests

Broad Release Tests #69

Workflow file for this run

name: Broad Release Tests
on:
workflow_dispatch:
schedule:
- cron: '0 5 * * 1' # every monday morning
permissions:
checks: write
jobs:
unit-tests:
strategy:
fail-fast: false
matrix:
os: [macos-latest, ubuntu-latest, windows-latest]
java: [17,21]
continue-on-error: true
runs-on: ${{ matrix.os }}
env:
GH_TOKEN: ${{ github.token }}
steps:
- uses: actions/checkout@v4
- name: Set up JDK ${{matrix.java}}
uses: actions/setup-java@v4
with:
java-version: ${{ matrix.java }}
distribution: 'corretto'
cache: 'gradle'
- name: Setup Gradle
uses:
gradle/actions/setup-gradle@v3.5.0
- name: Test with Gradle
run: ./gradlew --continue -x :key.core.symbolic_execution:test -x :key.core.proof_references:test test
- name: Upload test results
uses: actions/upload-artifact@v4
if: success() || failure()
with:
name: test-results-${{ matrix.os }}
path: |
**/build/test-results/*/*.xml
**/build/reports/
!**/jacocoTestReport.xml
integration-tests:
env:
GH_TOKEN: ${{ github.token }}
continue-on-error: true
strategy:
fail-fast: false
matrix:
test: [testProveRules, testRunAllFunProofs, testRunAllInfProofs]
os: [ macos-latest, ubuntu-latest, windows-latest ]
java: [21]
runs-on: ${{ matrix.os }}
steps:
- uses: actions/checkout@v4
- name: Set up JDK 21
uses: actions/setup-java@v4
with:
java-version: ${{ matrix.java }}
distribution: 'corretto'
cache: 'gradle'
- name: Cache SMT-Solvers
id: smt-solvers
uses: actions/cache@v4
with:
path: smt-solvers
key: ${{ runner.os }}-smt-solvers
- name: Install SMT-Solvers
run: .github/dlsmt.sh
- name: Setup Gradle
uses: gradle/actions/setup-gradle@v3.5.0
- name: "Running tests: ${{ matrix.test }}"
run: ./gradlew --continue ${{ matrix.test }}
- name: Upload test results
uses: actions/upload-artifact@v4
if: success() || failure() # run this step even if previous step failed
with:
name: test-results-${{ matrix.os }}
path: |
**/build/test-results/*/*.xml
key.core/build/reports/runallproofs/*
**/build/reports/
!**/jacocoTestReport.xml