Make workflows work on GitHub and Gitea

.gitea/workflows/dev-verify.yml

@@ -12,24 +12,18 @@ on:
 jobs:
   verify:
     runs-on: ubuntu-latest
-    container:
-      image: gradle:8.11.1-jdk21
-    env:
-      GITEA_TOKEN: ${{ github.token }}
-      GITEA_REPO_URL: ${{ github.server_url }}/${{ github.repository }}.git
     steps:
-      - name: Prepare source
-        shell: bash
-        run: |
-          set -euo pipefail
+      - name: Check out
+        uses: actions/checkout@v4
 
-          if [ ! -f build.gradle ]; then
-            git -c http.extraHeader="Authorization: token ${GITEA_TOKEN}" \
-              clone --depth 1 "${GITEA_REPO_URL}" .
-          fi
+      - name: Set up Java
+        uses: actions/setup-java@v4
+        with:
+          distribution: temurin
+          java-version: 21
 
       - name: Verify
         shell: bash
         run: |
           set -euo pipefail
-          gradle --no-daemon compileClientJava
+          bash ./gradlew --no-daemon compileClientJava