Add actions for install Verus

Signed-off-by: Xudong Sun <[email protected]>

.github/workflows/ci.yml

@@ -114,6 +114,17 @@ jobs:
           repository: verus-lang/verus
           path: verus
           ref: 3ac6c8318c7e285bf41fc2eb8072c6140ba7cc93
+      - name: Move Verus
+        run: mv verus ../verus
+      - name: Install Rust toolchain
+        run: |
+          curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y
+      - name: Build Verus
+        run: |
+          cd ../verus/source
+          ./tools/get-z3.sh
+          source ../tools/activate
+          vargo build --release
       - name: Setup Go
         uses: actions/setup-go@v2
         with: