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

chore: cherry-pick #8829 #1815

Sign in to view logs

chore: cherry-pick #8829

chore: cherry-pick #8829 #1815

Triggered via pull request March 12, 2024 12:09
@NicolasMassartNicolasMassart
closed #8884
chore/cherry-pick-8829
Status Success
Total duration 16s
Artifacts –

remove-labels-after-pr-closed.yml

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