added workaround for homebrew workflow bug

Failure is due to bug in Homebrew: Homebrew/brew#15049
Macaulay2 · Apr 21, 2023 · 9ae4741 · 9ae4741
1 parent cfcee31
commit 9ae4741
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -16,6 +16,7 @@ jobs:
 
       - name: Pull bottles
         env:
+          HOMEBREW_NO_INSTALL_FROM_API: 1
           HOMEBREW_GITHUB_API_TOKEN: ${{ github.token }}
           HOMEBREW_GITHUB_PACKAGES_TOKEN: ${{ github.token }}
           HOMEBREW_GITHUB_PACKAGES_USER: ${{ github.actor }}

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -4,6 +4,8 @@ on:
     branches:
       - main
   pull_request:
+env:
+  HOMEBREW_NO_INSTALL_FROM_API: 1
 jobs:
   test-bot:
     strategy: