tweak

Signed-off-by: John Kastner <[email protected]>
cedar-policy · Dec 18, 2024 · 3a517fd · 3a517fd
1 parent 7ea413b
commit 3a517fd
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -76,11 +76,13 @@ jobs:
         run: cargo test --verbose
       - name: Build Lean libraries, and build & test cedar-drt/
         shell: bash
-        run: source ~/.profile && ./build.sh
+        run: |
+          cargo install cargo-fuzz
+          source ~/.profile && ./build.sh
 
   run-integration-tests:
     needs: get-branch-name
     uses: ./.github/workflows/run_integration_tests_reusable.yml
     with:
       cedar_spec_ref: ${{ github.href }}
-      cedar_integration_tests_ref: ${{ needs.get-branch-name.outputs.branch_name }}
+      cedar_integration_tests_ref: ${{ needs.get-branch-name.outputs.branch_name }}
diff --git a/build.sh b/build.sh
@@ -18,3 +18,4 @@ cd ..
 # Build DRT
 cd cedar-drt
 cargo fuzz build
+cargo test