try to use the libra binary published for ci

.github/workflows/ci.yaml

@@ -2,9 +2,8 @@ name: rust ci
 
 on:
   push:
-    # tags:
-    #   - "[0-9]+.[0-9]+.[0-9]+"
-    #   - "[0-9]+.[0-9]+.[0-9]+-rc.[0-9]+"
+    tags: # only on releases, not RC, since we've tested already
+      - "[0-9]+.[0-9]+.[0-9]+"
     branches: ["**"] # glob pattern to allow slash /
   pull_request:
     types:
@@ -17,7 +16,7 @@ on:
     - cron: "30 00 * * *"
 
 env:
-  DIEM_FORGE_NODE_BIN_PATH: ${{github.workspace}}/diem-node
+  # DIEM_FORGE_NODE_BIN_PATH: ${{github.workspace}}/diem-node
   LIBRA_CI: 1
   MODE_0L: "TESTNET"
 
@@ -38,7 +37,8 @@ jobs:
 
       - name: build framework
         working-directory: ./framework
-        run: cargo r release
+        # uses the libra binary to compile faster, without needing to compile the Move compiler
+        run: ${{github.workspace}}/libra move framework release
 
       - uses: actions/[email protected]
         with:

.github/workflows/cleanliness.yaml

@@ -1,9 +1,8 @@
 name: cleanliness
 on:
   push:
-    # tags:
-    #   - "[0-9]+.[0-9]+.[0-9]+"
-    #   - "[0-9]+.[0-9]+.[0-9]+-rc.[0-9]+"
+    tags: # only on releases, not RC, since we've tested already
+      - "[0-9]+.[0-9]+.[0-9]+"
     branches: ["**"] # glob pattern to allow slash /
   pull_request:
     types:

.github/workflows/formal.yaml

@@ -1,9 +1,8 @@
 name: formal verification
 on:
   push:
-    # tags:
-    #   - "[0-9]+.[0-9]+.[0-9]+"
-    #   - "[0-9]+.[0-9]+.[0-9]+-rc.[0-9]+"
+    tags: # only on releases, not RC, since we've tested already
+      - "[0-9]+.[0-9]+.[0-9]+"
     branches: ["**"] # glob pattern to allow slash /
   pull_request:
     types:

.github/workflows/move.yaml

@@ -2,9 +2,8 @@ name: move framework tests
 
 on:
   push:
-    # tags:
-    #   - "[0-9]+.[0-9]+.[0-9]+"
-    #   - "[0-9]+.[0-9]+.[0-9]+-rc.[0-9]+"
+    tags: # only on releases, not RC, since we've tested already
+      - "[0-9]+.[0-9]+.[0-9]+"
     branches: ["**"] # glob pattern to allow slash /
   pull_request:
     types:

.github/workflows/publish.yaml

@@ -1,7 +1,7 @@
 name: publish cli
 on:
   push:
-    tags:
+    tags: # run this also on release candidates
       - "[0-9]+.[0-9]+.[0-9]*"
     branches:
       - "ci"