From 07962ffda4ec6060b37c9302d3b38bead3be7fd0 Mon Sep 17 00:00:00 2001
From: Hashim Sharif <hsharif3@miranda.cs.illinois.edu>
Date: Fri, 26 Mar 2021 18:06:17 -0500
Subject: [PATCH] Removing Gitlab CI yml file

---
 .gitlab-ci.yml | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
deleted file mode 100644
index 2b2f46e1ce..0000000000
--- 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
-- 
GitLab