Skip to content
Add "ready-to-merge" and "delegated" label

Add "ready-to-merge" and "delegated" label #1417

Sign in to view logs

Add "ready-to-merge" and "delegated" label

Add "ready-to-merge" and "delegated" label #1417

Triggered via pull request review November 25, 2024 11:15
@jcommelinjcommelin
submitted ⁠ 6c7e898
Status Failure
Total duration 23s
Artifacts –

maintainer_bors.yml

on: pull_request_review
Add ready-to-merge or delegated label
14s
Add ready-to-merge or delegated label
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Add ready-to-merge or delegated label
Process completed with exit code 1.
Add ready-to-merge or delegated label
Unexpected input(s) 'repository', 'issue_number', 'labels', valid inputs are ['route', 'mediaType']