diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
deleted file mode 100644
index 2b2f46e1ced98f77ad21037be26cd976cf5dd4c8..0000000000000000000000000000000000000000
--- a/.gitlab-ci.yml
+++ /dev/null
@@ -1,12 +0,0 @@
-image: python:3.7-alpine
-
-build_sphinx:
-  stage: build
-  tags:
-    - hpvm
-  script:
-    - pip install -U sphinx sphinx-autodoc-typehints sphinx-rtd-theme numpydoc
-    - sphinx-build -b html hpvm/docs/ public/
-  artifacts:
-    paths:
-    - public