Andrea Falzetti
|
50caba2cda
|
add run-gp layer to certain users
Co-authored-by: Anton Kosyakov <anton@gitpod.io>
Co-authored-by: Victor Nogueira <victor@gitpod.io>
|
2022-12-20 09:22:29 -03:00 |
|
Victor Nogueira
|
756c5b0248
|
Replace "Status" by "JetBrains Launcher" and run it in a separate image from IDEs
Co-authored-by: Anton Kosyakov <anton@gitpod.io>
Co-authored-by: Andrea Falzetti <andrea@gitpod.io>
|
2022-12-13 11:35:23 -03:00 |
|
Christian Weichel
|
478a75e744
|
Switch license to AGPL
|
2022-12-08 13:05:19 -03:00 |
|
Andrea Falzetti
|
4939e4633a
|
chore: move to ide-service jetbrains warmup logic
|
2022-12-06 06:58:16 -03:00 |
|
Pudong Zheng
|
9c835a1da6
|
[ide-service] only add warm task when workspace type is prebuild
|
2022-12-02 10:26:01 -03:00 |
|
Pudong Zheng
|
93a68d38d7
|
chore: extracting ide-service from server
Co-authored-by: Anton Kosyakov <anton@gitpod.io>
Co-authored-by: Victor Nogueira <victor@gitpod.io>
Co-authored-by: Andrea Falzetti <andrea@gitpod.io>
|
2022-12-02 07:17:01 -03:00 |
|
Pudong Zheng
|
0c63ab95de
|
move ide config type define to ide-service-api
|
2022-09-21 11:18:22 +02:00 |
|
mustard
|
3b65137a7b
|
[ide-service] add IDE service server component
|
2022-09-14 09:50:15 +02:00 |
|