Andrea Falzetti 131aa358ad feat(supervisor): add resource status severity

2022-08-17 13:35:33 +02:00

..

gradle/wrapper

Upgrade Gradle Wrapper for compatibility with Java 17

2022-08-10 07:48:54 +02:00

src/main/java/io/gitpod/supervisor

feat(supervisor): add resource status severity

2022-08-17 13:35:33 +02:00

.classpath

Fix Java projects configs

2022-08-11 21:16:28 +02:00

.gitattributes

[supervisor-api] Add Java gRPC API

2021-10-11 05:44:57 -03:00

.gitignore

[supervisor-api] Add Java gRPC API

2021-10-11 05:44:57 -03:00

.project

[supervisor] Add desktop IDE backend support

2021-10-27 12:49:04 +02:00

build.gradle

fixing JB backend plugin

2022-01-27 10:15:19 +01:00

BUILD.yaml

Automatic rollout latest Jetbrains IDE

2022-01-19 22:38:12 +01:00

gradle.properties

increase gradle timeouts to stabilize builds

2022-02-01 10:23:23 +01:00

gradlew

Upgrade Gradle Wrapper for compatibility with Java 17

2022-08-10 07:48:54 +02:00

gradlew.bat

[supervisor-api] Add Java gRPC API

2021-10-11 05:44:57 -03:00

settings.gradle

[supervisor-api] Add Java gRPC API

2021-10-11 05:44:57 -03:00