Skip to content
Snippets Groups Projects

fix: rm old theia dependency

Passed
Alexandra created pipeline for commit 0a7f1b9b
, finished
For master
4 minutes 49 seconds, queued for 197 seconds