Skip to content
Update Shortnames for all PRs

Update Shortnames for all PRs #14

Sign in to view logs

Update Shortnames for all PRs

Update Shortnames for all PRs #14

Manually triggered January 23, 2024 00:23
@jonathansmolenskijonathansmolenski
⁠ ef5d931
main
Status Success
Total duration 35s
Artifacts –

update_shortnames.yml

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