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

[Merged by Bors] - feat(Probability/Kernel): `Kernel.sectL` and `sectR` #13561

Sign in to view logs

Triggered via issue January 7, 2025 16:44

RemyDegenne

commented on #15466 9e3f841

Status Success

Total duration 19s

Artifacts –

maintainer_bors.yml

on: issue_comment

Add ready-to-merge or delegated label

Annotations

2 warnings

Add ready-to-merge or delegated label

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Add ready-to-merge or delegated label

Unexpected input(s) 'repository', 'issue_number', 'labels', valid inputs are ['route', 'mediaType']