5105e0e692
DROP BEFORE MERGING UPSTREAM
2020-09-17 18:24:37 +03:00
977bb1095c
Add a job for vscode extension
2020-09-17 18:24:36 +03:00
Suzanne Dupéron
a4e414bd76
Temporarily disable webide stage, because it contains a randomly failing test.
2020-06-24 10:37:57 +01:00
Suzanne Dupéron
5cbeab0a3b
Use xrefcheck's config to increase the timeout
2020-06-23 21:58:11 +01:00
Suzanne Dupéron
2b790b0ebc
Disable remote link checks and use static version of xrefcheck because it's faster to install than the whole Haskell environment
2020-06-23 21:48:27 +01:00
ae8a3752ef
Check for invalid references on CI
2020-06-19 11:32:50 +03:00
fcfa2944c6
Disable webide-e2e tests
2020-05-28 00:21:00 +03:00
1fe9b29732
Always show coverage reports
2020-05-26 20:29:11 +03:00
b5d1cd6b5b
Run webide e2e tests on merge requests
2020-05-21 19:31:48 +03:00
3d78114b25
Pass COMMIT_DATE to the build
2020-05-21 19:14:41 +03:00
a14bf15e77
Run webide e2e tests
2020-05-21 19:13:11 +03:00
b522e50ce2
Fix webide deploy handoff
2020-05-21 19:03:15 +03:00
f970a9a536
Use extends instead of anchors in gitlab-ci.yml
2020-05-21 18:08:24 +03:00
e8a69cb498
Switch to nix pipelines
...
- Remove old pipelines
- Run nix pipelines on a private runner
2020-05-21 18:08:22 +03:00
Lesenechal Remi
41eded82f4
versioning stage in gitlab-ci.yml
2020-05-15 17:57:22 +02:00
Tom Jack
5d06630b2c
Export COMMIT_DATE also in build_binary
2020-05-06 06:06:16 -05:00
edb3fce642
Add nix as a build system
...
* Dynamically linked executables (ligo-bin)
* Statically linked executables (ligo-static)
* Docker (ligo-docker)
* deb package (ligo-deb)
* webide (ligo-editor)
* webide docker (ligo-editor-docker)
* website (ligo-website)
2020-04-29 19:40:04 +01:00
Tom Jack
2d7e177ba7
Build Ubuntu 19.10 instead of 19.04
...
19.04 reached End of Life in January and it appears the package repos
have now dropped it. 19.10 is not LTS but EOL is in July. Soon there
will be 20.04 LTS.
2020-04-16 18:04:42 -05:00
Sander Spies
0680633806
Attempt to fix search.
2020-04-15 12:19:12 +02:00
Maksym Bykovskyy
314b2358db
Revised README
2020-03-06 17:35:14 +00:00
Sander Spies
e66ddd78ba
Move to yarn
2020-03-04 19:39:06 +01:00
Sander Spies
9f675da02f
Probable cause of new website CI issue
2020-03-04 17:10:59 +01:00
Sander Spies
da110f2199
Fix gitlab-ci.
2020-03-04 15:09:53 +01:00
Jev Björsell
7dfc3b01c9
Merge branch 'move-examples-folder' into 'dev'
...
Moved examples folder
See merge request ligolang/ligo!463
2020-03-03 22:41:17 +00:00
Maksym Bykovskyy
e27dfa1bce
Moved examples folder
2020-03-03 22:41:16 +00:00
Jev Björsell
e91661189b
Prevent IDE jobs running when the ide code has no changes
2020-03-02 16:57:29 -08: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
Suzanne Dupéron
2c677c2b73
Fix typo in script (third)
2020-02-18 16:18:59 +01:00
Suzanne Dupéron
b594f85594
Fix typo in script (again)
2020-02-18 12:27:14 +01:00
Suzanne Dupéron
9f7b39afd3
Fix typo in script
2020-02-18 11:37:02 +01:00
Suzanne Dupéron
f9d2daf7f3
Run dev pipeline for *-run-dev branches
2020-02-17 17:45:11 +01:00
Jev Björsell
1d06dd4f74
Pin docker image to a working one.
...
Related to ci job timeout tracked here: https://gitlab.com/gitlab-org/gitlab-runner/issues/6697
2020-02-15 06:49:39 -08:00
Jev Björsell
c59be5f746
* Switch to in-line CI for webide over GitLab's child-pipeline feature. There was too many bugs/weirdness with the child-pipeline. Maybe we use it when it matures.
...
* Flatten the build_and_deploy_docker and build_and_deploy_website into one step. They don't appear to be dependent, and if the upstream "test" jobs ran okay, then we can run these jobs in parallel.
* Run the webide unit tests in the `test` stage only if there are changes to the tools/webide directory.
* Switch to using the new `rules` ([docs](https://docs.gitlab.com/ee/ci/yaml/#rules ))property instead of `only` / `except`. `rules` is now the preferred way of setting job policies. `only`/`except` are [candidates for deprecation](https://docs.gitlab.com/ee/ci/yaml/#onlyexcept-basic ).
* Build/push docker images only when CI is running on the canonical `ligolang/ligo` repo. Makes hacking on CI in forked repos easier.
* Don't push a `latest` tag for the webide.
2020-02-13 23:10:02 +00:00
Suzanne Dupéron
1bd9ca9d1e
Remove message "tput: No value for $TERM and no -T specified" in gitlab builds
2020-02-10 20:37:30 +01:00
Jev Björsell
bffa1585b0
Fix docker tag to use default docker hub registry
...
Follow the same logic as `scripts/build_docker_image.sh` This could use
some further refactoring simplification.
2020-02-07 09:14:50 -08:00
Jev Björsell
74198fd61f
Add trigger to kick off the webide child ci pipeline
2020-02-07 08:09:05 -08:00
Jev Björsell
7d94a41d92
Missed one stray environment variable
2020-02-07 08:01:07 -08:00
Jev Björsell
dfb4c4caa3
Move CI ENV vars and use a recent docker image
...
When this MR is merged, remove `LIGO_REGISTRY_IMAGE_BASE_NAME` and
`LIGO_REGISTRY_IMAGE` from gitlabs CI settings: https://gitlab.com/ligolang/ligo/-/settings/ci_cd
This will allow CI builds to run in forked repositories.
Use a recent docker/dind image that supports `--cache-from` which will
be put to use in later MRs.
2020-02-06 18:43:24 -08:00
Tom Jack
6f4c147a31
Don't merge to master
2020-01-23 11:48:27 -06:00
Tom Jack
6bcd75e5b6
CI for "merge_requests"
2020-01-23 11:43:43 -06:00
Suzanne Dupéron
27f99ab120
build_and_deploy_website depends on build_and_package_binaries
...
build_and_deploy_website depended implicitly on
build_and_package_binaries. I guess it needs to come after, still (from
Tom Jack)
2020-01-10 11:49:01 +01:00
Suzanne Dupéron
8c6c3c1869
Run gitlab-ci pipeline stages in parallel
...
for faster merges
2020-01-10 01:09:37 +01:00
Lesenechal Remi
f16f16e4b3
coverage resutlts as a CI artifact
2019-12-31 14:23:51 +01: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
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
Matej Sima
d9afee0fad
Attempt to fix docker_build CI config
2019-09-25 13:19:44 +02:00
Matej Sima
d1c1f0c08e
Move docker_build to 'script' level in the CI
2019-09-25 13:14:41 +02:00
Matej Sima
af9e6a90b9
Move docker publishing and testing to script instead of after_script in the CI
2019-09-25 13:11:10 +02:00
