Optimize Gradle build on GitHub

.github/workflows/build.yml

@@ -0,0 +1,26 @@
+name: "Gradle build"
+permissions: {}
+on:
+  - push
+  - pull_request
+  - workflow_dispatch
+
+jobs:
+  build:
+    name: "Gradle build"
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: "Checkout sources"
+        uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+      - name: "Setup Java"
+        uses: actions/setup-java@v4
+        with:
+          distribution: "temurin"
+          java-version: "17"
+      - name: "Setup Gradle"
+        uses: gradle/actions/setup-gradle@v3
+      - name: "Execute Gradle build"
+        run: "./gradlew --no-daemon build"