Skip to content

Merge branch 'main' into dev #23

Merge branch 'main' into dev

Merge branch 'main' into dev #23

Workflow file for this run

name: "Build & Test"
on:
push:
branches:
- main
permissions:
contents: read
jobs:
build:
name: Build pull request
runs-on: ubuntu-latest
steps:
- name: Set up JDK 17
uses: actions/setup-java@v4
with:
java-version: '17'
distribution: 'adopt'
- name: Check out code
uses: actions/checkout@v4
- name: Set up Gradle
uses: gradle/gradle-build-action@v2
with:
arguments: check
- name: Upload build reports
uses: actions/upload-artifact@v4
if: failure()
with:
name: build-reports
path: '**/build/reports/'
- name: Run checkstyle reporter
uses: nikitasavinov/checkstyle-action@master
with:
github_token: ${{ secrets.TOKEN }}
reporter: 'github-pr-check'
checkstyle_config: 'config/checkstyle/checkstyle.xml'
properties_file: 'config/checkstyle/checkstyle-git-action.properties'
fail_on_error: true
level: 'error'
- name: Upload coverage to Codecov
uses: codecov/codecov-action@v3
with:
token: ${{ secrets.CODECOV_TOKEN }}