Rémi Lesenechal
|
8b83e375bd
|
Revert "Merge branch 'feature/adt-generator-poly-3' into 'dev'"
This reverts merge request !403
|
2020-02-11 10:45:08 +00:00 |
|
Suzanne Dupéron
|
e86f15e5da
|
Show OPAM logs in case of failure inside of Docker
|
2020-02-10 20:40:43 +01:00 |
|
Suzanne Dupéron
|
e6dbe60c2c
|
Revert "try to debug inside docker"
This reverts commit 37daa934d5e7ba60614a92cf0dfa9d4ebfac59d2.
|
2020-02-10 20:40:43 +01:00 |
|
Suzanne Dupéron
|
e84b739fbc
|
try to debug inside docker
|
2020-02-10 20:40:43 +01:00 |
|
Tom Jack
|
3110ae87e1
|
Pass CI_JOB_ID to docker container
|
2019-12-16 22:50:25 +00:00 |
|
Tom Jack
|
c83813456a
|
Relocate .opam
|
2019-12-16 22:50:25 +00:00 |
|
Matej Šima
|
aa231cec27
|
Feature/smaller docker image
|
2019-11-09 22:34:20 +00:00 |
|
Matej Sima
|
78c6cbae68
|
Add build & packaging scripts for multiplatform ligo binary distribution
|
2019-09-30 14:25:01 -05:00 |
|
Tom Jack
|
e0b5910627
|
Try to fix CI again
|
2019-09-08 12:37:11 -07:00 |
|
Georges Dupéron
|
2918134c3b
|
CI docker WIP
|
2019-09-07 14:21:02 +02:00 |
|
Georges Dupéron
|
41b2691f39
|
CI docker WIP
|
2019-09-07 14:08:35 +02:00 |
|
Georges Dupéron
|
5c999a3f97
|
CI docker WIP
|
2019-09-07 13:24:30 +02:00 |
|
Georges Dupéron
|
644d90be6d
|
Fix CI and Makefile (WIP)
|
2019-09-06 17:27:09 +02:00 |
|
Georges Dupéron
|
c47daad439
|
Use sh, not bash
|
2019-06-10 10:23:18 +02:00 |
|
Georges Dupéron
|
fae35a1f42
|
sh does not recognize set -euET -o pipefail, only a subset of those options. Use bash for now.
|
2019-06-10 10:19:49 +02:00 |
|
Matej Sima
|
5feba725cb
|
Refactor docker image structure & CI
|
2019-05-27 17:43:39 +02:00 |
|
Georges Dupéron
|
80c693a5af
|
Docker: don't clone ligo twice
|
2019-05-27 13:46:49 +02:00 |
|
Georges Dupéron
|
68e2fdd451
|
Deocker: launch the rewrite-repo script
|
2019-05-27 13:18:24 +02:00 |
|
Georges Dupéron
|
e1597f7629
|
docker: point to new URL
|
2019-05-27 12:43:12 +02:00 |
|
Matej Sima
|
c9703bdceb
|
Add a Dockerfile, installer.sh and ligo.sh for easy ligo usage with Docker
|
2019-05-23 23:06:15 +02:00 |
|