Pierre-Emmanuel Wulfman
|
aac7dd3462
|
review 1
|
2020-03-30 17:56:17 +02:00 |
|
Suzanne Dupéron
|
c4c79e69f2
|
Run dev pipeline for *-run-dev branches: fix "docker push" to the next-attempt tag
|
2020-02-20 16:57:04 +01:00 |
|
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
|
b2c129aa6a
|
Merge branch 'bugfix/hanging-sudo' into 'dev'
Fix "hanging sudo" bug.
See merge request ligolang/ligo!400
|
2020-02-10 20:43:56 +00:00 |
|
Suzanne Dupéron
|
7bad718135
|
Add missing dependency on Python 3
|
2020-02-10 20:40:43 +01:00 |
|
Suzanne Dupéron
|
8f03d45ec3
|
Make more scripts print their commands, to help debug issues in GitLab
|
2020-02-10 20:40:43 +01:00 |
|
Suzanne Dupéron
|
3969df5a5d
|
Fixes in SH scripts
|
2020-02-10 20:40:43 +01:00 |
|
Suzanne Dupéron
|
78bbf9b044
|
Merge branch 'dev' into 'dev'
add Telegram link
See merge request ligolang/ligo!351
|
2020-02-09 09:02:31 +00:00 |
|
Suzanne Dupéron
|
995ca7e807
|
Print numeric records as tuples, better typer error messages for records & tuples
|
2020-02-09 00:31:30 +01:00 |
|
Suzanne Dupéron
|
0ce2a603a3
|
Fix "hanging sudo" bug.
|
2020-02-09 00:20:16 +01:00 |
|
Francis Brunelle
|
af23dcaebb
|
add Telegram link
|
2020-01-23 09:20:42 -05: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 |
|
Lesenechal Remi
|
0f6529fe94
|
fix test_cli.sh
|
2019-12-12 13:18:45 +01:00 |
|
Tom Jack
|
ca1025b705
|
Stop using docker -it to avoid spurious CRLF
|
2019-11-26 18:29:25 -06:00 |
|
Tom Jack
|
dbb36e6fdc
|
Use runtest to run tests
|
2019-11-21 12:28:38 -06:00 |
|
Matej Šima
|
aa231cec27
|
Feature/smaller docker image
|
2019-11-09 22:34:20 +00:00 |
|
Suzanne Dupéron
|
1e06c24325
|
Merge branch 'dev' of gitlab.com:ligolang/ligo into clean-sts-solver
|
2019-10-31 17:18:09 -04:00 |
|
Pierre-Emmanuel Wulfman
|
f68e91466e
|
Make install script works on archlinux
|
2019-10-24 13:04:16 +00:00 |
|
Suzanne Dupéron
|
81ab0267f5
|
cleanup
|
2019-10-16 22:19:32 -04:00 |
|
Suzanne Dupéron
|
5a58559edc
|
Merge remote-tracking branch 'origin/dev' into HEAD
|
2019-10-11 16:59:45 -04:00 |
|
Tom Jack
|
047065f8ee
|
Delete vestigial local repo stuff
|
2019-10-11 15:12:07 +00:00 |
|
Tom Jack
|
039d82a18f
|
Merge branch 'feature/LIGO-27-improve-packaging-and-distribution' into 'dev'
Add build & packaging scripts for multiplatform ligo binary distribution
See merge request ligolang/ligo!114
|
2019-10-11 02:26:03 +00:00 |
|
Rodrigo Quelhas
|
0c756a4a46
|
Adding --rm to ligo.sh
|
2019-10-07 18:02:00 -05:00 |
|
Tom Jack
|
804281b206
|
Copy debian packages into gitlab-pages
|
2019-10-01 18:08:00 -05:00 |
|
Matej Sima
|
78c6cbae68
|
Add build & packaging scripts for multiplatform ligo binary distribution
|
2019-09-30 14:25:01 -05:00 |
|
Georges Dupéron
|
2b5b23f266
|
WIP: fixing the build errors + missing non-merged code
|
2019-09-29 18:25:02 -04:00 |
|
Tom Jack
|
1f8a801ed9
|
Don't test exact compiler output
|
2019-09-25 13:40:32 -05:00 |
|
Matej Sima
|
c60a02942b
|
Update the CLI testing script CI pipeline
|
2019-09-25 10:52:26 +02:00 |
|
Matej Šima
|
5fcb426239
|
Refactor/add cli tests
|
2019-09-22 13:06:52 +00:00 |
|
Tom Jack
|
b0b7fb7ac6
|
Ligolang tezos repo
|
2019-09-13 13:20:40 +00:00 |
|
Tom Jack
|
e0b5910627
|
Try to fix CI again
|
2019-09-08 12:37:11 -07:00 |
|
Georges Dupéron
|
644d90be6d
|
Fix CI and Makefile (WIP)
|
2019-09-06 17:27:09 +02:00 |
|
John David Pressman
|
2b29eac11f
|
Merge branch 'makefile' into 'dev'
Makefile
See merge request ligolang/ligo!51
|
2019-08-03 00:22:46 +00:00 |
|
Georges Dupéron
|
123b255809
|
typo: used both [ ] and test in shell script
|
2019-06-14 00:44:55 +02:00 |
|
Georges Dupéron
|
938fec3e46
|
Use "next" instead of "latest"
|
2019-06-10 19:02:49 +02:00 |
|
Georges Dupéron
|
8019b647a5
|
Typos
|
2019-06-10 19:00:49 +02:00 |
|
Georges Dupéron
|
24f52a13a1
|
missing chmod
|
2019-06-10 10:23:18 +02:00 |
|
Georges Dupéron
|
c47daad439
|
Use sh, not bash
|
2019-06-10 10:23:18 +02:00 |
|
Georges Dupéron
|
47409db7db
|
Started using the scripts/… in .gitignore, started a Makefile for one-liners to be used by the devs, e.g. make build-deps, make, make test
|
2019-06-10 10:19:49 +02:00 |
|
Georges Dupéron
|
17b413faee
|
Security aspects for shell scripts (well, an attempt at that)
|
2019-06-10 10:19:49 +02:00 |
|
John David Pressman
|
a729ec95b4
|
Add tuareg to dev switch setup
|
2019-06-09 22:03:08 -07:00 |
|
John David Pressman
|
8b60b8597f
|
Add execution permission to test ligo script
|
2019-06-08 22:30:49 -07:00 |
|
John David Pressman
|
8e715f17a7
|
Swap makefile-native test command with script, add script
|
2019-06-08 21:57:46 -07:00 |
|
John David Pressman
|
7413ac22d6
|
Add oneshell to makefile and fix filename bug in build env script
|
2019-06-08 15:19:47 -07:00 |
|
John David Pressman
|
512044c52b
|
Change first if conditional so upgrade q only asked if opam installed
|
2019-06-08 14:19:07 -07:00 |
|
John David Pressman
|
1592da58b7
|
Fix typos breaking first if conditional, syntax error
|
2019-06-08 12:13:06 -07:00 |
|
John David Pressman
|
0575176939
|
Make build env script more robust, take it out of makefile
|
2019-06-08 12:03:53 -07:00 |
|
John David Pressman
|
a1a61e64f9
|
Add execution permissions to new build scripts
|
2019-06-07 22:25:34 -07:00 |
|
John David Pressman
|
e157e0527b
|
Change makefile to use preexisting setup scripts for docker and add new ones
|
2019-06-07 22:16:55 -07:00 |
|