From ff16d61881fcfbebf5f231f53dc3087bbd8cd176 Mon Sep 17 00:00:00 2001
From: Thierry Martinez <Thierry.Martinez@inria.fr>
Date: Fri, 6 Dec 2019 17:08:38 +0100
Subject: [PATCH] Disable build

---
 .gitlab-ci.yml | 48 ++++++++++++++++++++++++------------------------
 1 file changed, 24 insertions(+), 24 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 87a04de..ae6fe39 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -3,32 +3,32 @@ before_script:
 
 stages:
   - prepare
-  - build
-  - test
+#  - build
+#  - test
   - snapshot
 
-build_image:
-  stage: prepare
-  script:
-    - cp ~/.ssh/id_rsa .
-    - docker build -t clangml-transforms .
-
-build:
-  stage: build
-  script:
-    - docker build --no-cache -t clangml-transforms-build -f Dockerfile.build .
-
-prtp:
-  stage: test
-  script:
-    - docker run --rm clangml-transforms-build
-        bash -c 'make -C /home/opam/memcad/ prtp'
-
-bigrt:
-  stage: test
-  script:
-    - docker run --rm clangml-transforms-build
-        bash -c 'make -C /home/opam/memcad/ bigrt'
+#build_image:
+#  stage: prepare
+#  script:
+#    - cp ~/.ssh/id_rsa .
+#    - docker build -t clangml-transforms .
+#
+#build:
+#  stage: build
+#  script:
+#    - docker build --no-cache -t clangml-transforms-build -f Dockerfile.build .
+#
+#prtp:
+#  stage: test
+#  script:
+#    - docker run --rm clangml-transforms-build
+#        bash -c 'make -C /home/opam/memcad/ prtp'
+#
+#bigrt:
+#  stage: test
+#  script:
+#    - docker run --rm clangml-transforms-build
+#        bash -c 'make -C /home/opam/memcad/ bigrt'
 
 snapshot:
   only:
-- 
GitLab