Skip to content

changed sat4J version back to 2.3.5 because with version 2.3.6 there … #157

changed sat4J version back to 2.3.5 because with version 2.3.6 there …

changed sat4J version back to 2.3.5 because with version 2.3.6 there … #157

Workflow file for this run

# This workflow will build a Java project with Gradle
# For more information see: https://help.github.com/actions/language-and-framework-guides/building-and-testing-java-with-gradle
name: Opt4J Build & Test
on:
push:
pull_request:
branches: [ master ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Set up JDK 21
uses: actions/setup-java@v4
with:
distribution: 'zulu'
java-version: '21'
- name: Grant execute permission for gradlew
run: chmod +x gradlew
- name: Build with Gradle
run: ./gradlew build
- name: Generate the test report
run: ./gradlew jacocorootreport
- name: Run codacy-coverage-reporter
uses: codacy/codacy-coverage-reporter-action@master
with:
project-token: ${{ secrets.CODACY_PROJECT_TOKEN }}
coverage-reports: ./build/reports/jacoco/rootReport.xml
- name: Run codacy-analysis-cli
uses: codacy/codacy-analysis-cli-action@master
with:
project-token: ${{ secrets.CODACY_PROJECT_TOKEN }}
max-allowed-issues: 400