Merge branch 'ci-issue' into 'dev'

Move to yarn

See merge request ligolang/ligo!476
This commit is contained in:
Sander 2020-03-04 19:36:22 +00:00
commit c8bafdea4a

View File

@ -62,11 +62,11 @@ dont-merge-to-master:
# copy .deb packages into website
- find dist -name \*.deb -exec sh -c 'cp {} gitlab-pages/website/static/deb/ligo_$(basename $(dirname {})).deb' \;
# npm
# yarn
- cd gitlab-pages/website
- npm install
- yarn install
script:
- npm run build
- yarn build
# move internal odoc documentation to the website folder
- mv ../../_build/default/_doc/_html/ build/odoc
after_script: