Skip to content
Update Shortnames for all PRs

Update Shortnames for all PRs #10

Sign in to view logs

Update Shortnames for all PRs

Update Shortnames for all PRs #10

Manually triggered January 22, 2024 23:52
@jonathansmolenskijonathansmolenski
⁠ 61fa04f
main
Status Success
Total duration 29s
Artifacts –

update_shortnames.yml

on: workflow_dispatch
Update shortnames for PRs without shortnames
22s
Update shortnames for PRs without shortnames
Fit to window
Zoom out
Zoom in