Skip to content

test generation for classes not in a package (default package) #88

test generation for classes not in a package (default package)

test generation for classes not in a package (default package) #88

Workflow file for this run

name: JDK 17 CI
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Set up JDK 17
uses: actions/setup-java@v4
with:
distribution: 'zulu'
java-version: '17'
- name: Cache local Maven repository
uses: actions/cache@v4
with:
path: ~/.m2/repository
key: ${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}
restore-keys: |
${{ runner.os }}-maven-
- name: Build with Maven
run: mvn verify -Pfull-smt --file pom.xml -s .github/github-settings.xml
env:
GITHUB_ACTOR: vorpal-reseacher
GITHUB_TOKEN: ${{ secrets.ORG_GITHUB_TOKEN }}