chore(CI): fix dafny_interop to setup_net

Author: imabhichow

.github/workflows/dafny_interop_examples_java.yml

@@ -59,6 +59,12 @@ jobs:
           git submodule update --init --recursive
           git rev-parse HEAD
 
+      # Without this the if-dafny-at-least command includes "Downloading ..." output
+      - name: Arbitrary makefile target to force downloading Gradle
+        shell: bash
+        run: |
+          make -C submodules/MaterialProviders/StandardLibrary setup_net
+
       - name: Setup Java ${{ matrix.java-version }}
         uses: actions/setup-java@v4
         with:

.github/workflows/dafny_interop_java.yml

@@ -59,6 +59,12 @@ jobs:
           git submodule update --init --recursive
           git rev-parse HEAD
 
+      # Without this the if-dafny-at-least command includes "Downloading ..." output
+      - name: Arbitrary makefile target to force downloading Gradle
+        shell: bash
+        run: |
+          make -C submodules/MaterialProviders/StandardLibrary setup_net
+
       - name: Setup Java ${{ matrix.java-version }}
         uses: actions/setup-java@v4
         with:

.github/workflows/dafny_interop_test_vector_java.yml

@@ -68,6 +68,12 @@ jobs:
           git submodule update --init --recursive
           git rev-parse HEAD
 
+      # Without this the if-dafny-at-least command includes "Downloading ..." output
+      - name: Arbitrary makefile target to force downloading Gradle
+        shell: bash
+        run: |
+          make -C submodules/MaterialProviders/StandardLibrary setup_net
+
       - name: Setup Java ${{ matrix.java-version }}
         uses: actions/setup-java@v4
         with: