Michael B. Gale
|
11dd746d70
|
Don't run label-pr-size once a PR has been merged
|
2026-02-23 15:09:13 +00:00 |
|
Henry Mercer
|
2a3599c520
|
Run lightweight workflows on ubuntu-slim
|
2025-10-30 11:25:32 +00:00 |
|
Henry Mercer
|
e9daf5bcd9
|
Comment version that is pinned
Co-authored-by: Michael B. Gale <mbg@github.com>
|
2025-10-20 17:25:01 +01:00 |
|
Henry Mercer
|
519594fe94
|
Update workflow name
|
2025-10-20 15:12:25 +01:00 |
|
Henry Mercer
|
8c324fe288
|
Add experimental functionality for labelling PRs by their size
|
2025-10-20 15:10:40 +01:00 |
|