m

Author: RitvikKapila

.github/workflows/pull.yml

@@ -64,6 +64,8 @@ jobs:
     uses: ./.github/workflows/ci_examples_net.yml
     with:
       dafny: ${{needs.getVersion.outputs.version}}
+  pr-ci-net-examples:
+    uses: ./.github/workflows/ci_test_latest_released_mpl_java.yml
   pr-ci-all-required:
     if: always()
     needs: