Update action.yaml (#2217)

- install the Prover dependencies such as Z3 and Boogie

- enable the Prover test for the move-example pacakge

.github/actions/rust-setup/action.yaml

@@ -10,3 +10,19 @@ runs:
     - uses: bmwill/rust-cache@v1
       with:
         path: ~/.cargo/registry/src/**/librocksdb-sys-*
+    - name: install Prover dependencies
+      shell: bash
+      run: scripts/dev_setup.sh -b -p -y
+    - name: prepare move lang prover tooling.
+      shell: bash
+      run: |
+        # By setting these values the dev-setup.sh script can detect already installed executables (and check versions).
+        echo 'Z3_EXE='/home/runner/bin/z3 | tee -a $GITHUB_ENV
+        echo 'CVC5_EXE='/home/runner/bin/cvc5 | tee -a $GITHUB_ENV
+        echo 'DOTNET_ROOT='/home/runner/.dotnet/ | tee -a $GITHUB_ENV
+        echo 'BOOGIE_EXE='/home/runner/.dotnet/tools/boogie | tee -a $GITHUB_ENV
+        echo 'MVP_TEST_ON_CI'='1' | tee -a $GITHUB_ENV
+        echo "/home/runner/bin" | tee -a $GITHUB_PATH
+        echo "/home/runner/.dotnet" | tee -a $GITHUB_PATH
+        echo "/home/runner/.dotnet/tools" | tee -a $GITHUB_PATH
+        echo "/home/runner/.cargo/bin" | tee -a $GITHUB_PATH

aptos-move/move-examples/tests/move_prover_tests.rs

@@ -37,7 +37,6 @@ pub fn run_prover_for_pkg(
     .unwrap();
 }
 
-#[ignore] // TODO: Ignored because Prover dependencies are not installed in CI.
 #[test]
 fn test_hello_prover() {
     let named_address = BTreeMap::new();