Skip to content

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

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

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

Triggered via pull request September 10, 2023 21:28
Status Success
Total duration 18s
Artifacts
check-contributing-up-to-date
8s
check-contributing-up-to-date
Fit to window
Zoom out
Zoom in