Skip to content

Merge branch 'develop' #92

Merge branch 'develop'

Merge branch 'develop' #92

Workflow file for this run

---
name: Build
on: # yamllint disable-line rule:truthy
push:
branches:
- master
- develop
tags:
- "release-*.*.*"
pull_request:
branches:
- master
- develop
jobs:
build:
name: Build
strategy:
fail-fast: false
matrix:
os: [ubuntu-latest, windows-latest, macos-latest]
java: [11]
gradle: [7.6.4]
runs-on: ${{ matrix.os }}
timeout-minutes: 10 # Timeout in 10 minutes, as Stratego initialization can sometimes deadlock
steps:
- name: Checkout
uses: actions/checkout@v4
with:
fetch-depth: 0
fetch-tags: true
- name: Validate Gradle wrapper
uses: gradle/actions/wrapper-validation@v3
- name: Setup JDK ${{ matrix.java }}
uses: actions/setup-java@v4
with:
java-version: ${{ matrix.java }}
distribution: 'temurin'
- name: Setup Gradle ${{ matrix.gradle }}
uses: gradle/actions/setup-gradle@v3
with:
gradle-version: ${{ matrix.gradle }}
build-scan-publish: true
build-scan-terms-of-use-url: "https://gradle.com/help/legal-terms-of-use"
build-scan-terms-of-use-agree: "yes"
- name: Build
run: |
gradle buildAll --parallel --stacktrace
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}