Skip to content

Better names for the automated workflow's jobs.#366

Merged
obi1kenobi merged 1 commit intomainfrom better_namesJul 8, 2023

Commits

Commits on Jul 8, 2023