Skip to content
Snippets Groups Projects
Commit de84e76d authored by Frederik Hennig's avatar Frederik Hennig
Browse files

fix name of nox session

parent 3920b82d
No related merge requests found
Pipeline #72074 passed with stage
in 1 minute and 1 second
...@@ -10,7 +10,7 @@ build-user-manual: ...@@ -10,7 +10,7 @@ build-user-manual:
stage: "Documentation" stage: "Documentation"
needs: [] needs: []
script: script:
- nox --session user-manual - nox --session user_manual
artifacts: artifacts:
paths: paths:
- user_manual/_sphinx_build/html - user_manual/_sphinx_build/html
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment