Enforce PR labels

Add `smallest_moved_point` and `largest_moved_point` #1179

Sign in to view logs

Triggered via pull request July 19, 2025 12:24

fingolfin

synchronize #5140

mh/moved_points

Status Success

Total duration 47s

Artifacts –

EnforceLabels.yml

on: pull_request

Check for blocking labels