enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-11-25 21:25:20 +03:00
Code Issues Projects Releases Wiki Activity
wip/hubert/copying-opt
enso/tools/ci
History
Hubert Plociniczak d43ad7ce13
Disable linting passes for IDE and repl (#10705) 
There is no need to generate unused variables warnings or other linting for IDE and repl users. By default linting is enabled during compilation and for those use-cases it is now disabled via runtime options.

Closes #9883
2024-07-31 08:49:45 +00:00
..
artifact-test/repl Migrate the REPL to the New Server (#827) 2020-06-15 13:06:20 +02:00
docker Expose Ydoc port in Docker container (#10210) 2024-06-07 13:51:06 +00:00
nightly Format TS code (#10648) 2024-07-26 17:47:59 +10:00
releases Format TS code (#10648) 2024-07-26 17:47:59 +10:00
check-changelog.js Format TS code (#10648) 2024-07-26 17:47:59 +10:00
prepare-distribution-env.sh Add Python and R to the GraalVM Bundle (#1644) 2021-04-07 17:19:23 +03:00
README.md Disable linting passes for IDE and repl (#10705) 2024-07-31 08:49:45 +00:00
Test.enso Move Builtin Types and Methods to stdlib (#3363) 2022-05-05 20:18:06 +02:00

README.md

CI Tools

This folder contains miscellaneous utilities for CI.

Docker

Building

A custom docker image requires a certain number of directories to be present from a desired edition. The root directory of the docker build context can be provided in the docker build command:

docker build -t <my-custom-name> -f tools/ci/docker/Dockerfile --build-context docker-tools=tools/ci/docker built-distribution/enso-engine-$VERSION-linux-amd64/enso-$VERSION

where for a locally built distribution on Linux it would be VERSION=0.0.0-dev.

Running

To start Language Server with a default configuration simply run the built image with the chosen name:

docker run -t <my-custom-name>