feat: add CI to auto-label PRs (#17062) #25

Sign in to view logs

Triggered via push September 26, 2024 16:45

mathlib-bors[bot]

staging

Status Failure

Total duration 58s

Artifacts –

add_label_from_diff.yaml

on: push

Add topic label

Annotations

1 error

Add topic label

Process completed with exit code 1.