Skip to content

Merge Queue

Merge Queue #257

Workflow file for this run

name: Merge Queue
on:
pull_request:
types: [labeled]
workflow_dispatch:
inputs:
batch_prs:
type: string
required: false
bisect:
type: boolean
default: false
concurrency:
group: merge-queue
cancel-in-progress: false
jobs:
queue:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
with:
fetch-depth: 0
token: ${{ secrets.MERGE_QUEUE_TOKEN }}
- name: Install mdsmith merge driver
env:
MDSMITH_VERSION: v0.7.1
MDSMITH_SHA256: 94df7987309d48b2b9b1aead4554f2904a35e9b1b6bff7f12e64f5514e2692f8
run: |
curl -fsSL "https://github.com/jeduden/mdsmith/releases/download/${MDSMITH_VERSION}/mdsmith-linux-amd64" \
-o "$RUNNER_TEMP/mdsmith"
echo "${MDSMITH_SHA256} $RUNNER_TEMP/mdsmith" | sha256sum -c
chmod +x "$RUNNER_TEMP/mdsmith"
"$RUNNER_TEMP/mdsmith" merge-driver install
echo "$RUNNER_TEMP" >> "$GITHUB_PATH"
- uses: jeduden/merge-queue-action@3be8077b142e4057d2fc097635d1ab6ada2bbbf5 # v0.7.1
with:
token: ${{ secrets.MERGE_QUEUE_TOKEN }}
ci_workflow: .github/workflows/ci.yml
batch_size: "5"
bisect: ${{ github.event.inputs.bisect }}
batch_prs: ${{ github.event.inputs.batch_prs }}