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

refactor: require that the range of a model with corners is included in the closure of its interior #62593

Sign in to view logs

refactor: require that the range of a model with corners is included in the closure of its interior

refactor: require that the range of a model with corners is included in the closure of its interior #62593

Triggered via issue October 31, 2024 13:21
@fpvandoornfpvandoorn
commented on #18403 ecb2a9e
Status Success
Total duration 10s
Artifacts –

add_label_from_comment.yml

on: issue_comment
Add ready-to-merge label
0s
Add ready-to-merge label
Add delegated label
3s
Add delegated label
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Add delegated label
Unexpected input(s) 'repository', 'issue_number', 'labels', valid inputs are ['route', 'mediaType']