Skip to content

Remove labeler and pr-sweep GitHub actions - #816

Merged
fstagni merged 1 commit into
DIRACGrid:rel-v5r0from
fstagni:remove-labeler-pr-sweep-rel-v5r0
Nov 12, 2026
Merged

fstagni merged 1 commit into
DIRACGrid:rel-v5r0from
fstagni:remove-labeler-pr-sweep-rel-v5r0

fix: remove labeler and pr-sweep GitHub actions

ef44a1f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
triage
succeeded Nov 12, 2026 in 5s