Skip to content
Deploy Theia to GitHub Pages

Remove static plugins and use downloader instead #36

Sign in to view logs

Remove static plugins and use downloader instead

Remove static plugins and use downloader instead #36

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
7m 46s
deploy
1m 11s
8m 57s