Skip to content
Remove labels after issue (or PR) closed

chore: remove unused events #3831

Sign in to view logs

chore: remove unused events

chore: remove unused events #3831

Triggered via pull request October 2, 2024 09:54
@NicolasMassartNicolasMassart
closed #11287
chore/10784_clean_events
Status Success
Total duration 13s
Artifacts –

remove-labels-after-pr-closed.yml

on: pull_request
cleanup
3s
cleanup
Fit to window
Zoom out
Zoom in