Skip to content

coveralls 0.6.15

coveralls 0.6.15 #63

Workflow file for this run

name: brew pr-pull
permissions:
actions: write
contents: write
pull-requests: write
on:
pull_request_target:
types:
- labeled
jobs:
pr-pull:
if: contains(github.event.pull_request.labels.*.name, 'pr-pull')
runs-on: ubuntu-22.04
env:
HOMEBREW_NO_INSTALL_FROM_API: 1
steps:
- name: Set up Homebrew
uses: Homebrew/actions/setup-homebrew@master
- name: Set up git
uses: Homebrew/actions/git-user-config@master
- 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"
# Debug: Show commit log (last 5 commits)
- name: Show commit log (last 5 commits)
run: git log -n 5 --oneline
# Debug: Show contents of .git/HEAD
- name: Show .git/HEAD
run: cat .git/HEAD
# Debug: Show contents of .git/logs/HEAD
- name: Show .git logs
run: cat .git/logs/HEAD
# Debug: Upload workpace state
- name: Upload workspace state
uses: actions/upload-artifact@v3
with:
name: workspace-state-after
path: .
- name: Push commits
uses: Homebrew/actions/git-try-push@master
with:
token: ${{ secrets.HOMEBREW_TOKEN }}
branch: main
- name: Delete branch
if: github.event.pull_request.head.repo.fork == false
env:
BRANCH: ${{ github.event.pull_request.head.ref }}
run: git push --delete origin "$BRANCH"