Open JonasHelming opened 2 weeks ago
fixed #13821
Includes the build step into the publish Github Pages job for simplicity
I guess we have to run and see
@jfaltermeier Could you have a look at this please?
I tried running the workflow here: https://github.com/eclipse-theia/theia/actions/runs/9742697234 Unfortunately there are failures
fixed #13821
What it does
Includes the build step into the publish Github Pages job for simplicity
How to test
I guess we have to run and see
Review checklist
Reminder for reviewers