ci: do not build with graalvm

Author: ice1000

Diff for: .github/workflows/nightly-build.yaml

@@ -78,64 +78,6 @@ jobs:
           arguments: fatJar --no-daemon --stacktrace --warning-mode all
         if: matrix.os == 'ubuntu-latest'
 
-      - name: Setup GraalVM for Java ${{ needs.check-aya-version.outputs.javaVersion }}
-        uses: graalvm/setup-graalvm@v1
-        with:
-          java-version: ${{ needs.check-aya-version.outputs.javaVersion }}
-          distribution: 'graalvm-community'
-          components: 'native-image'
-          set-java-home: 'true'
-          cache: 'gradle'
-          github-token: ${{ secrets.GH_TOKEN }}
-
-      - name: Setup MSVC
-        uses: ilammy/msvc-dev-cmd@v1
-        if: matrix.os == 'windows-latest'
-
-      - name: Tell gradle where's my JDK
-        run: |
-          # Gradle should respect these environmental variables by default!
-          echo 'org.gradle.java.installations.fromEnv=JAVA_HOME,GRAALVM_HOME' >> gradle.properties
-
-      - name: Gradle, do you understand?
-        uses: gradle/gradle-build-action@v2
-        with:
-          arguments: javaToolchains --no-daemon --stacktrace --warning-mode all
-
-      - name: Run task nativeCompile
-        uses: gradle/gradle-build-action@v2
-        with:
-          arguments: nativeCompile --no-daemon --stacktrace --warning-mode all
-
-      - name: Copy aya Native Image
-        run: cp ./cli-console/build/native/nativeCompile/aya${{ matrix.binaryExt }} ./${{ env.nativeName }}
-
-      - name: Checksum (Native, Unix)
-        run: shasum -a 256 ./${{ env.nativeName }} > ./${{ env.nativeSha256 }}
-        if: matrix.os != 'windows-latest'
-
-      - name: Checksum (Native, Windows)
-        run: Get-FileHash ./${{ env.nativeName }} -Algorithm SHA256 > ./${{ env.nativeSha256 }}
-        if: matrix.os == 'windows-latest'
-
-      - name: Test native image
-        run: ./${{ env.nativeName }} --remake base/src/test/resources/success
-
-      - name: Update Release (Native images)
-        uses: Xotl/cool-github-releases@v1
-        if: matrix.os != 'ubuntu-latest'
-        with:
-          mode: update
-          isPrerelease: false
-          tag_name: nightly-build
-          release_name: "Nightly builds"
-          body_mrkdwn: |
-            _These are latest builds, but the date on GitHub is frozen due to stupid limitations.
-            Corresponding commit: <https://github.com/aya-prover/aya-dev/commit/${{ github.sha }}>_
-          assets: ${{ env.nativeSha256 }};${{ env.nativeName }}|application/octet-stream
-          replace_assets: true
-          github_token: ${{ secrets.GH_TOKEN }}
-
       - name: Collect jlink zip files
         if: matrix.os == 'ubuntu-latest'
         id: collect_jlinkAyaZip