Remove Makefile, Add docker build command to the CI config

This commit is contained in:
Matej Sima 2019-05-24 00:13:31 +02:00
parent c9703bdceb
commit c1910629e9
2 changed files with 4 additions and 2 deletions

View File

@ -57,3 +57,7 @@ remote-repo-job:
#- opam install -y merlin #- opam install -y merlin
#- opam install -y ocp-indent #- opam install -y ocp-indent
#- opam user-setup install #- opam user-setup install
build-docker-image:
script:
- docker build -t marigold/ligo ./docker

View File

@ -1,2 +0,0 @@
build-image:
docker build -t marigold/ligo ./docker