Skip to content

CI: simplify and improve name of docs build #4

CI: simplify and improve name of docs build

CI: simplify and improve name of docs build #4