Switch from gradle-build-action@v2 to setup-gradle@v3 (#742)

.github/workflows/continuous-integration.yaml

@@ -23,13 +23,11 @@ jobs:
         with:
           distribution: ${{ env.JDK_DISTRIBUTION }}
           java-version: ${{ matrix.java }}
+      - name: Setup Gradle
+        uses: gradle/actions/setup-gradle@v3
       - name: Build and test the compiler
-        uses: gradle/gradle-build-action@v2
-        with:
-          arguments: printVersion build jacocoTestReport
+        run: ./gradlew printVersion build jacocoTestReport
       - name: Build example programs
-        uses: gradle/gradle-build-action@v2
-        with:
-          arguments: -p examples build
+        run: ./gradlew -p examples build
       - name: Upload coverage to Codecov
         uses: codecov/codecov-action@v3

.github/workflows/documentation.yaml

@@ -23,6 +23,8 @@ jobs:
         with:
           distribution: ${{ env.JDK_DISTRIBUTION }}
           java-version: ${{ env.JDK_VERSION }}
+      - name: Setup Gradle
+        uses: gradle/actions/setup-gradle@v3
       - name: Install pipenv
         run: pipx install pipenv
       - name: Setup Python
@@ -31,15 +33,11 @@ jobs:
           python-version: '3.9'
           cache: 'pipenv'
       - name: Generate documentation with MkDocs
-        uses: gradle/gradle-build-action@v2
-        with:
-          arguments: 'printVersion :docs:mkdocsBuild'
+        run: './gradlew printVersion :docs:mkdocsBuild'
       - name: Set up Git credentials
         run: |
           git config user.name github-actions
           git config user.email [email protected]
       - name: Publish documentation to GitHub Pages
         if: github.event_name == 'release'
-        uses: gradle/gradle-build-action@v2
-        with:
-          arguments: ':docs:mkdocsPublish'
+        run: './gradlew :docs:mkdocsPublish'