Skip to content

Add option to print metadata information #343

Add option to print metadata information

Add option to print metadata information #343

Workflow file for this run

name: Check binary size
on:
pull_request:
types: [opened, reopened, synchronize, labeled, unlabeled, ready_for_review]
jobs:
check_size:
runs-on: ubuntu-latest
# Check if pull request does not have label "bloat-ok".
if: "!contains(github.event.pull_request.labels.*.name, 'bloat-ok')"
steps:
- uses: actions/checkout@v4
with:
# Needed to rebase against the base branch
fetch-depth: 0
# Checkout pull request HEAD commit instead of merge commit
ref: ${{ github.event.pull_request.head.sha }}
- name: Configure git user details
run: |
git config --global user.email "[email protected]"
git config --global user.name "checkpoint-restore"
- name: Configure base branch without switching current branch
run: git fetch origin ${GITHUB_BASE_REF}:${GITHUB_BASE_REF}
- name: Compare binary size change across each commit
# Use the last non-merge commit from the base branch as the baseline
run: git rebase -v $(git rev-list --no-merges -n 1 ${GITHUB_BASE_REF})^ -x test/check-size.sh