merge #1028: Do not build with graalvm

Testing CI

.github/workflows/nightly-build.yaml

@@ -41,9 +41,6 @@ jobs:
   nightly-build:
     needs: [move-tag, check-aya-version]
     runs-on: ${{ matrix.os }}
-    env:
-      nativeName: aya-prover_native_${{ matrix.platform }}${{ matrix.binaryExt }}
-      nativeSha256: aya-prover_native_${{ matrix.platform }}${{ matrix.binaryExt }}.sha256.txt
     strategy:
       fail-fast: false
       matrix:
@@ -78,64 +75,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
@@ -161,6 +100,6 @@ jobs:
           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;lsp-fatjar.jar;cli-fatjar.jar;${{ steps.collect_jlinkAyaZip.outputs.jlinkFiles }}
+          assets: lsp-fatjar.jar;cli-fatjar.jar;${{ steps.collect_jlinkAyaZip.outputs.jlinkFiles }}
           replace_assets: true
           github_token: ${{ secrets.GH_TOKEN }}