Trying to fix ci

coq · Apr 24, 2024 · f415645 · f415645
1 parent 1bae21c
commit f415645
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml
@@ -75,6 +75,9 @@ jobs:
           brew cleanup
           # See https://github.com/orgs/Homebrew/discussions/4612#discussioncomment-6351357
           brew config
+          # Trying to avoid Error: No available tap homebrew/core or homebrew/cask.
+          brew tap --force homebrew/cask
+          brew tap --force homebrew/core
           brew untap homebrew/core homebrew/cask
           brew config
           brew update