Fix nightly CBMC workflow (rust-lang#2128)

Author: zhassan-aws

.github/actions/setup/action.yml

@@ -5,6 +5,10 @@ inputs:
   os:
     description: In which Operating System is this running
     required: true
+  install_cbmc:
+    description: Whether to install CBMC
+    required: false
+    default: 'true'
 runs:
   using: composite
   steps:
@@ -15,6 +19,7 @@ runs:
       - name: Install CBMC
         run: ./scripts/setup/${{ inputs.os }}/install_cbmc.sh
         shell: bash
+        if: ${{format('{0}', inputs.install_cbmc) != 'false'}}
 
       - name: Install cbmc-viewer
         run: ./scripts/setup/${{ inputs.os }}/install_viewer.sh

.github/workflows/cbmc-latest.yml

@@ -21,17 +21,40 @@ jobs:
       matrix:
         os: [macos-11, ubuntu-18.04, ubuntu-20.04, ubuntu-22.04]
     steps:
+      - name: Checkout CBMC under "cbmc"
+        uses: actions/checkout@v3
+        with:
+          repository: diffblue/cbmc
+          path: cbmc
+
+      - name: Build CBMC
+        run: |
+          cd cbmc
+          cmake -S . -Bbuild -DWITH_JBMC=OFF
+          cmake --build build -- -j 4
+          sudo cmake --build build --target install
+          # Cleanup cbmc directory
+          cd ..
+          rm -rf cbmc
+
       - name: Checkout Kani
         uses: actions/checkout@v3
 
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup
         with:
           os: ${{ matrix.os }}
+          install_cbmc: 'false'
 
       - name: Build Kani
         run: cargo build-dev
 
+      - name: Execute Kani regressions
+        run: ./scripts/kani-regression.sh
+
+  perf:
+    runs-on: ubuntu-20.04
+    steps:
       - name: Checkout CBMC under "cbmc"
         uses: actions/checkout@v3
         with:
@@ -44,34 +67,21 @@ jobs:
           cmake -S . -Bbuild -DWITH_JBMC=OFF
           cmake --build build -- -j 4
           sudo cmake --build build --target install
-      - name: Execute Kani regressions
-        run: ./scripts/kani-regression.sh
+          # Cleanup cbmc directory
+          cd ..
+          rm -rf cbmc
 
-  perf:
-    runs-on: ubuntu-20.04
-    steps:
       - name: Checkout Kani
         uses: actions/checkout@v3
 
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup
         with:
           os: ubuntu-20.04
+          install_cbmc: 'false'
 
       - name: Build Kani using release mode
         run: cargo build-dev -- --release
 
-      - name: Checkout CBMC under "cbmc"
-        uses: actions/checkout@v3
-        with:
-          repository: diffblue/cbmc
-          path: cbmc
-
-      - name: Build CBMC
-        run: |
-          cd cbmc
-          cmake -S . -Bbuild -DWITH_JBMC=OFF
-          cmake --build build -- -j 4
-          sudo cmake --build build --target install
       - name: Execute Kani performance tests
         run: ./scripts/kani-perf.sh