From 6be701dddbd334e425f4a012d8a42a9c2f8b38b0 Mon Sep 17 00:00:00 2001
From: Romain Boman <r.boman@uliege.be>
Date: Mon, 30 Oct 2023 17:14:51 +0100
Subject: [PATCH] add gitlab pages

---
 .gitignore        |  0
 .gitlab-ci.yml    | 12 ++++++++++++
 jupyter-lite.json | 10 ++++++++++
 3 files changed, 22 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 .gitlab-ci.yml
 create mode 100644 jupyter-lite.json

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..e69de29
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 0000000..dd4ecb6
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,12 @@
+image: python:3.10-bookworm
+pages:
+  stage: deploy
+  before_script:
+    - python -m pip install -r requirements.txt
+  script:
+    - jupyter lite build --contents math0024 --output-dir public
+  artifacts:
+    paths:
+      - public
+  only:
+    - main
diff --git a/jupyter-lite.json b/jupyter-lite.json
new file mode 100644
index 0000000..6cfcd77
--- /dev/null
+++ b/jupyter-lite.json
@@ -0,0 +1,10 @@
+{
+  "jupyter-lite-schema-version": 0,
+  "jupyter-config-data": {
+    "disabledExtensions": [
+      "@jupyterlab/drawio-extension",
+      "jupyterlab-kernel-spy",
+      "jupyterlab-tour"
+    ]
+  }
+}
-- 
GitLab