Skip to content

Update Shortnames for all PRs #13

Update Shortnames for all PRs

Update Shortnames for all PRs #13

Manually triggered January 23, 2024 00:19
Status Success
Total duration 33s
Artifacts

update_shortnames.yml

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