balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Delete broken local-repo-job

Browse Source
This commit is contained in:
Tom Jack 2019-09-21 13:50:01 -07:00
parent 2909530b22
commit 33dbd11482
1 changed files with 0 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
.gitlab-ci.yml
View File

@ -74,17 +74,6 @@ local-dune-job:
- scripts/build_ligo_local.sh - scripts/build_ligo_local.sh
- dune build @ligo-test - dune build @ligo-test
# TODO: uncomment this
local-repo-job:
<<: *before_script
stage: test
script:
- scripts/install_vendors_deps.sh
# TODO: also try from time to time with --build-test
- opam install -y ligo
- ligo
remote-repo-job: remote-repo-job:
<<: *before_script <<: *before_script
stage: test stage: test