try set libra bin to path

.github/actions/build_env/action.yaml

@@ -40,18 +40,5 @@ runs:
         shared-key: "libra"
         cache-on-failure: "true"
 
-    # TODO: deduplicate this by calling get_cli
+    # call own action for libra_cli
     - uses: 0LNetworkCommunity/libra-framework/.github/actions/get_cli@ci
-    # - name: export diem-node DIEM_FORGE_NODE_BIN_PATH
-    #   shell: bash
-    #   run: |
-    #     echo "DIEM_FORGE_NODE_BIN_PATH=${{github.workspace}}/libra" >> $GITHUB_ENV
-    #     echo "LIBRA_BIN=${{github.workspace}}/libra" >> $GITHUB_ENV
-
-    # - name: install diem-node (for smoke tests)
-    #   shell: bash
-    #   run: >
-    #     wget -O $DIEM_FORGE_NODE_BIN_PATH https://github.com/0LNetworkCommunity/libra-framework/releases/download/ci/libra &&
-    #     sudo chmod 755 $DIEM_FORGE_NODE_BIN_PATH &&
-    #     echo $DIEM_FORGE_NODE_BIN_PATH &&
-    #     ls -l $DIEM_FORGE_NODE_BIN_PATH

.github/actions/get_cli/action.yaml

@@ -8,6 +8,7 @@ runs:
       run: |
         echo "DIEM_FORGE_NODE_BIN_PATH=${{github.workspace}}/libra" >> $GITHUB_ENV
         echo "LIBRA_BIN=${{github.workspace}}/libra" >> $GITHUB_ENV
+        echo ${{github.workspace}} >> $PATH
 
     - name: install diem-node (for smoke tests)
       shell: bash

.github/workflows/formal.yaml

@@ -22,12 +22,12 @@ jobs:
   formal:
     runs-on: ubuntu-latest
     steps:
-      #   # NOTE: for debugging CI this allow shell access to github runner. Will print out tmate.io terminal url
-      # - name: Setup tmate session
-      #   uses: mxschmitt/action-tmate@v3
-      #   with:
-      #     detached: true
-      #   timeout-minutes: 15
+        # NOTE: for debugging CI this allow shell access to github runner. Will print out tmate.io terminal url
+      - name: Setup tmate session
+        uses: mxschmitt/action-tmate@v3
+        with:
+          detached: true
+        timeout-minutes: 3
 
       - uses: actions/checkout@v3