Update docker configuration for CI
This commit is contained in:
parent
98d0d3ef4a
commit
c7130e592b
@ -1,6 +1,3 @@
|
|||||||
services:
|
|
||||||
- docker:dind
|
|
||||||
|
|
||||||
variables:
|
variables:
|
||||||
GIT_SUBMODULE_STRATEGY: recursive
|
GIT_SUBMODULE_STRATEGY: recursive
|
||||||
|
|
||||||
@ -62,5 +59,8 @@ remote-repo-job:
|
|||||||
#- opam user-setup install
|
#- opam user-setup install
|
||||||
|
|
||||||
build-docker-image:
|
build-docker-image:
|
||||||
|
image: docker:1.11
|
||||||
|
services:
|
||||||
|
- docker:dind
|
||||||
script:
|
script:
|
||||||
- docker build -t marigold/ligo ./docker
|
- docker build -t marigold/ligo ./docker
|
Loading…
Reference in New Issue
Block a user