update tap workflows

Macaulay2 · Nov 10, 2022 · 3ac0372 · 3ac0372
1 parent 61a2920
commit 3ac0372
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -6,7 +6,7 @@ on:
 jobs:
  pr-pull:
  if: contains(github.event.pull_request.labels.*.name, 'pr-pull')
- runs-on: ubuntu-latest
+ runs-on: ubuntu-22.04
  steps:
  - name: Set up Homebrew
  uses: Homebrew/actions/setup-homebrew@master
@@ -17,6 +17,8 @@ jobs:
  - name: Pull bottles
  env:
  HOMEBREW_GITHUB_API_TOKEN: ${{ github.token }}
+ HOMEBREW_GITHUB_PACKAGES_TOKEN: ${{ github.token }}
+ HOMEBREW_GITHUB_PACKAGES_USER: ${{ github.actor }}
  PULL_REQUEST: ${{ github.event.pull_request.number }}
  run: brew pr-pull --debug --tap=$GITHUB_REPOSITORY $PULL_REQUEST
 

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -1,14 +1,15 @@
 name: brew test-bot
 on:
  push:
- branches: main
+ branches:
+ - main
  pull_request:
 jobs:
  test-bot:
  strategy:
  fail-fast: false
  matrix:
- os: [ubuntu-latest, macos-10.15, macOS-latest]
+ os: [ubuntu-22.04, macos-10.15, macos-11, macos-12]
  runs-on: ${{ matrix.os }}
  steps:
  - name: Set up Homebrew