Merge branch 'docker-image-issue' into 'dev'

Probable cause of new website CI issue

See merge request ligolang/ligo!474
This commit is contained in:
Sander 2020-03-04 17:13:54 +00:00
commit b8ecb79ba6

View File

@ -35,7 +35,7 @@ dont-merge-to-master:
.website_build: &website_build .website_build: &website_build
stage: build_and_deploy stage: build_and_deploy
image: node:12-alpine image: node:12
dependencies: dependencies:
- build-and-package-debian-9 - build-and-package-debian-9
- build-and-package-debian-10 - build-and-package-debian-10