Skip to content

chore: remove che-theia as it's... #151

chore: remove che-theia as it's...

chore: remove che-theia as it's... #151

Triggered via pull request September 11, 2023 14:18
Status Success
Total duration 4m 8s
Artifacts
check-contributing-up-to-date
4s
check-contributing-up-to-date
Fit to window
Zoom out
Zoom in