Skip to content

Shorter job names#31

Merged
max-lobur merged 1 commit intomainfrom
shorten_names
Mar 29, 2023
Merged

Shorter job names#31
max-lobur merged 1 commit intomainfrom
shorten_names

Conversation

@max-lobur
Copy link
Contributor

@max-lobur max-lobur commented Mar 29, 2023

what

  • Shorten job names

why

  • They are always namespaced in GH UI, no need to duplicate this data

@max-lobur max-lobur merged commit 2b05543 into main Mar 29, 2023
@max-lobur max-lobur deleted the shorten_names branch March 29, 2023 16:42
@max-lobur max-lobur mentioned this pull request Mar 29, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants