update: CI config: host exported Pluto notebook

.gitlab-ci.yml

@@ -35,6 +35,7 @@ pages:
         include("docs/make.jl")'
     - mkdir -p public
     - mv docs/build public/dev
+    - mv docs/src/assets/*.html public
   artifacts:
     paths:
       - public