From 7bf7fdbb2dca58a59daf9868b9a9d1f43b9eb92c Mon Sep 17 00:00:00 2001
From: Wataru Otsubo <wotsubo@icepp.s.u-tokyo.ac.jp>
Date: Wed, 2 Oct 2024 00:58:04 +0900
Subject: [PATCH] update: CI config: host exported Pluto notebook

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index bc2e239..0d073d9 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
+    - mv docs/src/assets/*.html public
   artifacts:
     paths:
       - public