IDR - test with homebrew

udem-dlteam · Aug 18, 2024 · 49163e8 · 49163e8
1 parent adba240
commit 49163e8
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -320,9 +320,12 @@ jobs:
 
       # from https://github.com/marketplace/actions/setup-idris
       # Install idris through homebrew
-      - uses: tecolicom/actions-use-homebrew-tools@v1
-        with:
-          tools: idris2
+      - name: Set up Homebrew
+        id: set-up-homebrew
+        uses: Homebrew/actions/setup-homebrew@master
+
+      - name: Install Idris
+        run: brew install idris2
 
       - name: Run tests
         run: |