ADD theia-osiris theia-pincer to build and push ides

AnubisLMS · Sep 27, 2023 · 1da5647 · 1da5647
1 parent 23bda01
commit 1da5647
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -10,7 +10,7 @@ THEIA_IDES := \
 	theia-cpp theia-procdesign theia-admin theia-golang \
 	theia-flask-39 theia-flask-310 \
 	theia-mysql-39 theia-mysql-310 \
-	theia-devops theia-jepst
+	theia-devops theia-jepst theia-osiris theia-pincer
 
 WEBTOP_BASE_IDES := \
 	webtop-base-310 webtop-base-39 webtop-base-38