Skip to content
Update Shortnames for all PRs

Update Shortnames for all PRs #12

Sign in to view logs

Update Shortnames for all PRs

Update Shortnames for all PRs #12

Manually triggered January 23, 2024 00:15
@jonathansmolenskijonathansmolenski
⁠ 419b7f0
main
Status Success
Total duration 42s
Artifacts –

update_shortnames.yml

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