enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-11-27 05:23:48 +03:00
Code Issues Projects Releases Wiki Activity
202a05011b
enso/tools/ci/docker
History
Hubert Plociniczak f2779cfea4
Allow for profiling startup in dockerized setting (#9865) 
When `PROFILING_FILENAME` and `PROFILING_TIME` are set, language server will collect profiling data on startup and place it under `/opt/enso/profiling/$PROFILING_NAME` where it can be fetched from.

Needed to better analyze #9789.
2024-05-06 15:04:54 +00:00
..
docker-entrypoint.sh Allow for profiling startup in dockerized setting (#9865) 2024-05-06 15:04:54 +00:00
Dockerfile Allow for profiling startup in dockerized setting (#9865) 2024-05-06 15:04:54 +00:00