remove native dependency from CI

Signed-off-by: Matthias J. Kannwischer <[email protected]>
pq-code-package · Jun 12, 2024 · d394d0e · d394d0e
1 parent 9a77046
commit d394d0e
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -86,8 +86,6 @@ jobs:
     runs-on: ${{ matrix.system }}
     steps:
       - uses: actions/checkout@v4
-      - name: install native dependencies
-        run: brew install litani cbmc cbmc-viewer
       - name: Setup nix
         uses: ./.github/actions/setup-nix
         with: