Disable build

.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: