ligo/scripts
2019-11-09 22:34:20 +00:00
..
distribution/generic Copy debian packages into gitlab-pages 2019-10-01 18:08:00 -05:00
build_docker_image.sh Feature/smaller docker image 2019-11-09 22:34:20 +00:00
build_ligo_local.sh Try to fix CI again 2019-09-08 12:37:11 -07:00
install_build_environment.sh Make install script works on archlinux 2019-10-24 13:04:16 +00:00
install_native_dependencies.sh Make install script works on archlinux 2019-10-24 13:04:16 +00:00
install_opam.sh Fix CI and Makefile (WIP) 2019-09-06 17:27:09 +02:00
install_vendors_deps.sh Ligolang tezos repo 2019-09-13 13:20:40 +00:00
installer.sh Use "next" instead of "latest" 2019-06-10 19:02:49 +02:00
ligo_ci.sh Refactor/add cli tests 2019-09-22 13:06:52 +00:00
ligo.sh Adding --rm to ligo.sh 2019-10-07 18:02:00 -05:00
setup_dev_switch.sh Try to fix CI again 2019-09-08 12:37:11 -07:00
setup_repos.sh WIP: fixing the build errors + missing non-merged code 2019-09-29 18:25:02 -04:00
setup_switch.sh Make install script works on archlinux 2019-10-24 13:04:16 +00:00
test_cli.sh Don't test exact compiler output 2019-09-25 13:40:32 -05:00
test_ligo.sh Fix CI and Makefile (WIP) 2019-09-06 17:27:09 +02:00