From d394d0efa8088339d8e3eca781229dcffdfc5e20 Mon Sep 17 00:00:00 2001
From: "Matthias J. Kannwischer" <matthias@kannwischer.eu>
Date: Wed, 12 Jun 2024 14:22:00 +0800
Subject: [PATCH] remove native dependency from CI

Signed-off-by: Matthias J. Kannwischer <matthias@kannwischer.eu>
---
 .github/workflows/ci.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index eb598d0b7..22a217d1c 100644
--- 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: