codalab · Didayolo · May 26, 2026 · Apr 15, 2026 · Apr 30, 2026 · Apr 30, 2026
diff --git a/compute_worker/compute_worker.py b/compute_worker/compute_worker.py
diff --git a/compute_worker/uv.lock b/compute_worker/uv.lock
diff --git a/documentation/.gitignore b/documentation/.gitignore
@@ -9,6 +9,6 @@ wheels/
 # Virtual environments
 .venv
 
-uv.lock
 
 site/*
+.python-version
diff --git a/documentation/.python-version b/documentation/.python-version
diff --git a/documentation/README.md b/documentation/README.md
@@ -14,26 +14,12 @@ To build the docs locally, you will have to first install [uv](https://github.co
 Once that is done, you can run the following commands (while inside this folder):
 
 ```bash
-uv sync # You only need to run this once, it will download all the necessary python packages
-PDF=1 uv run mkdocs serve -a localhost:8888 # This will build the site and serve it on localhost:8888
+uv sync --frozen # You only need to run this once, it will download all the necessary python packages
+uv run zensical serve -a localhost:8888 # This will build the site and serve it on localhost:8888
 ```
 
 Open [localhost:8888](http://localhost:8888/) in your browser and you will see the docs. Every changes you make will rebuild the documentation.
 You can remove the `PDF=1` environement variable if you want to speed up the build process, but you will not generate the related PDF.
 
-
-### Versioning
-We use the [mike](https://github.com/jimporter/mike) plugin to preserve multiple version of the docs.
-
-To use it, you can run the following command: 
-```bash
-PDF=1 uv run mike deploy -u dev # This will create the site and push the changes in the gh-pages branch
-uv run mike serve -a localhost:8888 # Serve the site on localhost:8888
-```
-Check the official Github page of the plugin for more information on how it works.
-
 ## Images and Assets
-Images and assets are saved in the `_attachments` folder closest to the documentation file that calls for the image. If an image is used in multiple different places, then it should be put in `_attachements` folder in the `docs/` root directory.
-
-## Github workflow
-We have Github workflows set up to automatically rebuild the docs when the `develop` branch receives changes, and when a new tag is created for the `master` branch.
+Images and assets are saved in the `_attachments` folder closest to the documentation file that calls for the image. If an image is used in multiple different places, then it should be put in `_attachements` folder in the `docs/` root directory.
diff --git a/documentation/main.py b/documentation/main.py
diff --git a/documentation/mkdocs.yml b/documentation/mkdocs.yml
diff --git a/documentation/overrides/partials/copyright.html b/documentation/overrides/partials/copyright.html
@@ -12,8 +12,8 @@
     {% endif %}
     {% if not config.extra.generator == false %}
     Made with
-    <a href="https://squidfunk.github.io/mkdocs-material/" target="_blank" rel="noopener">
-        Material for MkDocs
+    <a href="https://zensical.org/" target="_blank" rel="noopener">
+        Zensical
     </a>
     {% endif %}
 </div>
diff --git a/documentation/pyproject.toml b/documentation/pyproject.toml
@@ -1,13 +1,13 @@
 [project]
-name = "codabench-mkdocs"
+name = "documentation"
 version = "0.1.0"
 description = "Add your description here"
 readme = "README.md"
-requires-python = ">=3.12"
+requires-python = ">=3.14"
 dependencies = [
-    "mike>=2.1.3",
-    "mkdocs-glightbox>=0.4.0",
-    "mkdocs-material>=9.6.15",
-    "mkdocs-open-in-new-tab>=1.0.8",
-    "mkdocs-to-pdf>=0.10.1",
+    "mike",
+    "zensical>=0.0.24",
 ]
+
+[tool.uv.sources]
+mike = { git = "https://github.com/squidfunk/mike.git" }
-Original file line number
+Diff line change
@@ Expand Up / @@ -9,6 +9,6 @@ wheels/ @@
     # Virtual environments
     .venv
-    uv.lock
     site/*
+    .python-version