From 690ede817b6225f7bce4c705f8cb5299b7093513 Mon Sep 17 00:00:00 2001 From: Simon Li Date: Thu, 2 Oct 2025 19:11:40 +0100 Subject: [PATCH] Delete gitpod config --- .gitpod.yml | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 .gitpod.yml diff --git a/.gitpod.yml b/.gitpod.yml deleted file mode 100644 index 69e7aa86..00000000 --- a/.gitpod.yml +++ /dev/null @@ -1,12 +0,0 @@ -tasks: - - init: | - pip3 install sphinx-autobuild - pip3 install -r dev-requirements.txt - pip3 install -r docs/requirements.txt - pip3 install -e . - command: | - sphinx-autobuild docs/source/ docs/_build/html/ - name: Sphinx preview - -ports: - - port: 8000