Tom Jack
|
e0b5910627
|
Try to fix CI again
|
2019-09-08 12:37:11 -07:00 |
|
Georges Dupéron
|
61550c6c2f
|
CI docker WIP
|
2019-09-07 14:30:24 +02:00 |
|
Georges Dupéron
|
fbcfe56df3
|
CI docker WIP
|
2019-09-07 14:25:32 +02:00 |
|
Georges Dupéron
|
cc1e142f25
|
CI docker WIP
|
2019-09-07 14:10:49 +02:00 |
|
Georges Dupéron
|
41b2691f39
|
CI docker WIP
|
2019-09-07 14:08:35 +02:00 |
|
Georges Dupéron
|
d31001fab6
|
CI docker WIP
|
2019-09-07 13:30:46 +02:00 |
|
Georges Dupéron
|
644d90be6d
|
Fix CI and Makefile (WIP)
|
2019-09-06 17:27:09 +02:00 |
|
Georges Dupéron
|
8b639e5231
|
Small fixes to the doc and to the odoc build script
|
2019-06-20 21:11:37 +02:00 |
|
Georges Dupéron
|
461b0ff331
|
cd folder
|
2019-06-12 11:09:21 +02:00 |
|
Georges Dupéron
|
044e2fac7f
|
Move odoc to the right folder
|
2019-06-12 10:26:58 +02:00 |
|
Georges Dupéron
|
b0408fdcd9
|
move internal documentation at the end, otherwise npm deletes it it seems.
|
2019-06-12 09:50:47 +02:00 |
|
Georges Dupéron
|
08f1e368de
|
Merge remote-tracking branch 'origin/georges-bash-security-and-error-detection' into feature/#3-add-odoc-to-website
|
2019-06-10 21:42:37 +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
|
8d86f4ba5c
|
temporarily build docs on feature/#3-add-odoc-to-website branch
|
2019-06-07 12:24:16 +02:00 |
|
Georges Dupéron
|
b36f497f85
|
add odoc to Ci
|
2019-06-07 11:56:03 +02:00 |
|
Matej Sima
|
44ecc0a133
|
Cleanup before merging
|
2019-06-06 17:59:03 +02:00 |
|
Matej Sima
|
12d4f5d0b9
|
Remove unnecessary scripts from webpage build
|
2019-06-06 17:08:23 +02:00 |
|
Matej Sima
|
c15f950a1a
|
debug ci
|
2019-06-06 17:03:30 +02:00 |
|
Matej Sima
|
c0cc9c76dc
|
Add updated installation guide, restructure docs
|
2019-06-06 16:49:47 +02:00 |
|
Matej Sima
|
0e6a3f6721
|
Update website versioning workflow
|
2019-06-06 15:45:45 +02:00 |
|
Matej Sima
|
0e82c183ec
|
Update CI config to create & deploy 'next' version of docs
|
2019-06-05 16:46:00 +02:00 |
|
Georges Dupéron
|
8789004f43
|
build the remote-repo job only on master
|
2019-06-01 13:44:08 +02:00 |
|
Matej Sima
|
d83d8a5449
|
Add only 'master' to docker image deployment job
|
2019-05-27 18:47:10 +02:00 |
|
Matej Sima
|
c7853aa2d5
|
Merge branch 'master' of gitlab.com:ligolang/ligo into feature/#1-dockerfile-with-installation-script
# Conflicts:
# .gitlab-ci.yml
|
2019-05-27 18:35:52 +02:00 |
|
Georges Dupéron
|
dfa7932fe8
|
Moved build job for gitlab-pages into the main .gitlab-ci.yml
|
2019-05-27 18:07:11 +02:00 |
|
Matej Sima
|
81a22846c1
|
Rename CI stages
|
2019-05-27 18:00:46 +02:00 |
|
Matej Sima
|
32150e79a5
|
Bring back non-publishing docker build
|
2019-05-27 17:46:51 +02:00 |
|
Matej Sima
|
3f4eff7ac7
|
Remove redundant job dependency on CI
|
2019-05-27 17:46:28 +02:00 |
|
Matej Sima
|
871fae2bf1
|
Rename post_script to after_script
|
2019-05-27 17:46:28 +02:00 |
|
Matej Sima
|
866bf7b552
|
Remove image caching as artifacts due to size limitations, introduce separate master / feature jobs instead
|
2019-05-27 17:46:28 +02:00 |
|
Matej Sima
|
76027dea9c
|
Rename CI variables for docker build & deploy
|
2019-05-27 17:45:44 +02:00 |
|
Matej Sima
|
002a320b4c
|
Change artifact name for built docker image
|
2019-05-27 17:45:10 +02:00 |
|
Matej Sima
|
a4ee2007d0
|
Persist docker image as an artifact
|
2019-05-27 17:45:10 +02:00 |
|
Matej Sima
|
214044942b
|
Remove redundant quotes from docker login CI command
|
2019-05-27 17:45:10 +02:00 |
|
Matej Sima
|
d423fa8e84
|
Add 'latest' tag to the built docker image
|
2019-05-27 17:43:39 +02:00 |
|
Matej Sima
|
f6a3404172
|
Update CI variable for docker registry url
|
2019-05-27 17:43:39 +02:00 |
|
Matej Sima
|
f5da4b8a88
|
Swap CI stages for temporary docker testing
|
2019-05-27 17:43:39 +02:00 |
|
Matej Sima
|
5feba725cb
|
Refactor docker image structure & CI
|
2019-05-27 17:43:39 +02:00 |
|
Georges Dupéron
|
f5e17bdefc
|
typo
|
2019-05-27 12:42:06 +02:00 |
|
Georges Dupéron
|
d444e635ae
|
Fixed path to script that was moved
|
2019-05-27 12:06:56 +02:00 |
|
Georges Dupéron
|
b3b87543ba
|
Place the local copy of ligo in a -generated folder
|
2019-05-27 11:57:29 +02:00 |
|
Georges Dupéron
|
44128ee7da
|
update url of ligo opam repository after merging the git repos
|
2019-05-27 11:57:26 +02:00 |
|
Georges Dupéron
|
8f83e4f97b
|
Merge branch 'feature/#1-dockerfile-with-installation-script' into 'master'
Add a Dockerfile, installer.sh and ligo.sh for easy ligo usage with Docker
Closes #1
See merge request ligolang/ligo!1
|
2019-05-27 07:59:41 +00:00 |
|
Georges Dupéron
|
a0936d8eb5
|
Moved repository to ligolang namespace
|
2019-05-24 11:36:39 +02:00 |
|
Matej Sima
|
a3e9af0e20
|
Extract before_script into a template that's not used for the docker build job
|
2019-05-24 00:48:11 +02:00 |
|
Matej Sima
|
c7130e592b
|
Update docker configuration for CI
|
2019-05-24 00:40:04 +02:00 |
|
Matej Sima
|
98d0d3ef4a
|
Remove the base docker:latest image from CI
|
2019-05-24 00:28:54 +02:00 |
|
Matej Sima
|
7c747b72e1
|
Configure docker-in-docker for CI
|
2019-05-24 00:25:48 +02:00 |
|
Matej Sima
|
c1910629e9
|
Remove Makefile, Add docker build command to the CI config
|
2019-05-24 00:13:31 +02:00 |
|
Christian Rinderknecht
|
cc706fc225
|
Gardening.
|
2019-05-16 15:28:28 +02:00 |
|