Go to file
2019-06-08 20:11:29 -07:00
docker Refactor docker image structure & CI 2019-05-27 17:43:39 +02:00
gitlab-pages Moved build job for gitlab-pages into the main .gitlab-ci.yml 2019-05-27 18:07:11 +02:00
packages typo in sed script 2019-05-27 13:10:29 +02:00
scripts Add oneshell to makefile and fix filename bug in build env script 2019-06-08 15:19:47 -07:00
src Add environmental variables to make build 2019-06-01 02:24:59 -07:00
vendors minor rewriting; add docs 2019-05-28 10:46:22 +00:00
.gitignore Merge repository ligo-opam-repository 2019-05-27 11:54:29 +02:00
.gitlab-ci.yml Add only 'master' to docker image deployment job 2019-05-27 18:47:10 +02:00
build-deps.sh Remove question from opam user-setup installation, attempt to set opam env vars 2019-05-31 23:44:48 -07:00
build.sh Add execution privileges to build.sh 2019-06-01 20:04:46 -07:00
CONTRIBUTORS.md add MIT license 2019-05-25 15:52:12 +00:00
index.tar.gz update repository 2019-05-13 19:24:21 +00:00
install.sh Add execution permissions to shell scripts 2019-05-31 22:52:20 -07:00
LICENSE.md add MIT license 2019-05-25 15:52:12 +00:00
makefile Add a second test conditional to stop double-execution of make scripts 2019-06-08 20:11:29 -07:00
repo update repository 2019-05-13 19:24:21 +00:00
urls.txt update repository 2019-05-13 19:24:21 +00:00