Skip to content

Merge branch 'main' into dev #1177

Merge branch 'main' into dev

Merge branch 'main' into dev #1177

Workflow file for this run

name: Verify state
on:
push:
pull_request:
types: [ opened, ready_for_review, review_requested, edited ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/[email protected]
- name: Set up JDK 17
uses: actions/setup-java@v3
with:
distribution: temurin
java-version: 17
- name: Build with Gradle
run: ./gradlew --build-cache build
- name: Test with Gradle
run: ./gradlew test