mirror of
https://github.com/openclaw/openclaw.git
synced 2026-08-26 12:26:38 -06:00
Peter Steinberger
234df15a6d
* build(deps): refresh dependencies after cooldown Apply dependency, toolchain, action, image, and exact tool updates released by the inclusive 2026-08-16 seven-day cutoff. Adapt owner boundaries for the resulting CUA, logging, Teams, Markdown, native, and test-harness contract changes while retaining versions blocked by upstream compatibility constraints. * fix(ui): align markdown renderer env typing * fix(deps): align postcss and mistral peer contracts * fix(deps): repair refreshed dependency contracts * fix(deps): retain tslog startup budget * fix(ci): verify Android tools with SHA-256 * fix(ci): fence Android SDK cache version
59 lines
1.5 KiB
YAML
59 lines
1.5 KiB
YAML
name: Duplicate PRs After Merge
|
|
|
|
on:
|
|
workflow_dispatch:
|
|
inputs:
|
|
landed_pr:
|
|
description: "Merged PR number that supersedes the duplicates"
|
|
required: true
|
|
type: string
|
|
duplicate_prs:
|
|
description: "Comma or whitespace separated duplicate PR numbers to close"
|
|
required: true
|
|
type: string
|
|
apply:
|
|
description: "When true, label/comment/close; otherwise dry-run only"
|
|
required: true
|
|
type: boolean
|
|
default: false
|
|
|
|
permissions:
|
|
contents: read
|
|
issues: write
|
|
pull-requests: write
|
|
|
|
concurrency:
|
|
group: duplicate-after-merge-${{ github.event.inputs.landed_pr }}
|
|
cancel-in-progress: false
|
|
|
|
env:
|
|
FORCE_JAVASCRIPT_ACTIONS_TO_NODE24: "true"
|
|
GH_TOKEN: ${{ github.token }}
|
|
|
|
jobs:
|
|
close-duplicates:
|
|
runs-on: ubuntu-24.04
|
|
steps:
|
|
- name: Checkout
|
|
uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
|
|
- name: Close confirmed duplicates
|
|
env:
|
|
APPLY: ${{ inputs.apply }}
|
|
DUPLICATE_PRS: ${{ inputs.duplicate_prs }}
|
|
LANDED_PR: ${{ inputs.landed_pr }}
|
|
REPO: ${{ github.repository }}
|
|
run: |
|
|
set -euo pipefail
|
|
|
|
args=(
|
|
--repo "$REPO"
|
|
--landed-pr "$LANDED_PR"
|
|
--duplicates "$DUPLICATE_PRS"
|
|
)
|
|
|
|
if [[ "$APPLY" == "true" ]]; then
|
|
args+=(--apply)
|
|
fi
|
|
|
|
node scripts/close-duplicate-prs-after-merge.mjs "${args[@]}"
|