Skip to content
Deploy Theia to GitHub Pages

Remove static plugins and use downloader instead #40

Sign in to view logs

Remove static plugins and use downloader instead

Remove static plugins and use downloader instead #40

Triggered via push July 10, 2025 18:09
@robertjndwrobertjndw
pushed 81ef557
ci/github-pages
Status Success
Total duration 7m 47s
Artifacts 1

publish-browser-only-page.yml

on: push
build
7m 30s
build
deploy
10s
deploy
https://robertjndw.github.io/theia/
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
56.6 MB
sha256:832506d0e3790217a003e3cd0a8a355eafe0102d318302f81fb1b7aa88b439bb