diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 87a04dec1dace223139cf4ab44f8f56f6218dd78..ae6fe3900a919a0aef943e5efc34b3215f83f8c4 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: