diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 0d073d9..1dcc2d1 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -35,6 +35,7 @@ pages: include("docs/make.jl")' - mkdir -p public - mv docs/build public/dev + - ls docs/src -R - mv docs/src/assets/*.html public artifacts: paths: