Skip to content

CI: shorter job names for better readablility on github.com #483

CI: shorter job names for better readablility on github.com

CI: shorter job names for better readablility on github.com #483