Copy the binary after it has been built, not before

CTSRD-CHERI · Jan 17, 2024 · 4e1863e · 4e1863e
1 parent 1c66457
commit 4e1863e
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/.github/workflows/build-binaries.yml b/.github/workflows/build-binaries.yml
@@ -36,10 +36,11 @@ jobs:
     - name: Install dependencies
       run: |
         cabal update
-        cabal build --only-dependencies --enable-tests --enable-benchmarks
-        cp `cabal list-bin vipbundle` vipbundle
+        cabal build --only-dependencies
     - name: Build
-      run: cabal build
+      run: |
+        cabal build
+        cp `cabal list-bin vipbundle` vipbundle
 
   release:
     needs: ubuntu_20_04_build