Revert "Use new GitHub workflow"

This reverts commit f425612.

# Conflicts:
#	.github/workflows/build.yaml

.github/workflows/build.yml

@@ -0,0 +1,51 @@
+---
+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 }}