Trying to fix ci

coq · Dec 20, 2023 · 0863792 · 0863792
1 parent 458fd4e
commit 0863792
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