Update ci docs

.gitlab-ci.yml

@@ -19,6 +19,7 @@ pages:
     - echo $CI_COMMIT_BRANCH
     - julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=".")); Pkg.instantiate();'
     - julia --project=docs/ --color=yes docs/make.jl  # make documentation
+    - mkdir public
     - mkdir public/dev
     - mv docs/build public/dev
   artifacts: