Skip to content
Snippets Groups Projects
Commit 17067b3e authored by Daniel Hornung's avatar Daniel Hornung
Browse files

MAINT: better CI command.

parent 7d7e0bea
No related branches found
No related tags found
3 merge requests!44Release 0.6,!43Merge f-GRPC-main to dev,!27F grpc f value and unit
Checking pipeline status
......@@ -120,7 +120,7 @@ pages_prepare: &pages_prepare
script:
- echo "Deploying..."
- make doc
- cp -r build/doc/html public
- rm -r public || true ; cp -r build/doc/html public
artifacts:
paths:
- public
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment