PR Labels

[maintenance] Some minor hygiene changes #21

Sign in to view logs

Triggered via pull request October 8, 2025 17:29

MHultman

opened #11

Status Failure

Total duration 18s

Artifacts –

pr-labels.yaml

on: pull_request_target