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

chore: update attributions #4177

Sign in to view logs

chore: update attributions

chore: update attributions #4177

Triggered via pull request October 22, 2024 08:07
@NicolasMassartNicolasMassart
closed #11922
chore/update_attributions
Status Success
Total duration 18s
Artifacts –

remove-labels-after-pr-closed.yml

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