Skip to content

Pull requests: eclipse-theia/theia-cloud

New pull request New
Clear current search query, filters, and sorts
2 Open 196 Closed
2 Open 196 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Stabilize service cleanup for eager start
#396 by lucas-koehler was merged Jan 24, 2025 Loading…
1
Fix reusable-theia-extension workflow
#394 by lucas-koehler was merged Jan 20, 2025 Loading…
1
Fix and Improve Eager Start Handling
#393 by lucas-koehler was merged Jan 14, 2025 Loading…
5
Setup theia folder with example app and config-store skeleton
#389 by lucas-koehler was merged Jan 16, 2025 Loading…
9
Fix NPM Publish
#386 by jfaltermeier was merged Dec 18, 2024 Loading…
Update dependencies
#384 by jfaltermeier was merged Dec 16, 2024 Loading…
1
Update demos
#383 by sgraband was merged Dec 5, 2024 Loading…
2
Update Demos to Theia 1.56.1
#382 by sgraband was merged Dec 4, 2024 Loading…
Update versions to 1.1.0-next/SNAPSHOT
#380 by jfaltermeier was merged Dec 2, 2024 Loading…
2
Prepare 1.0.0 Release
#379 by jfaltermeier was merged Nov 29, 2024 Loading…
1
Add Automated License Check Workflow
#373 by jfaltermeier was merged Nov 6, 2024 Loading…
1
Update Demos to Theia 1.55.0
#372 by jfaltermeier was merged Nov 5, 2024 Loading…
1
Update dependencies
#371 by jfaltermeier was merged Nov 28, 2024 Loading…
5
Update versions to 1.0.0-next/SNAPSHOT
#370 by jfaltermeier was merged Nov 4, 2024 Loading…
1
Prepare 0.12.0 Release
#369 by jfaltermeier was merged Oct 30, 2024 Loading…
7
Document naming conventions & Naming alignment
#368 by jfaltermeier was merged Oct 30, 2024 Loading…
11
Add REST API markdown docs based on openapi definition
#363 by lucas-koehler was merged Oct 25, 2024 Loading…
2
Improve session pod labels
#362 by xai was merged Nov 28, 2024 Loading…
1
13
GH-349: Extend service with a list app definitions endpoint
#361 by lucas-koehler was merged Oct 23, 2024 Loading…
1
3
Value update for configuration snippet feature
#360 by sgraband was merged Oct 18, 2024 Loading…
1
Update maven repository to new url
#358 by sgraband was merged Oct 2, 2024 Loading…
1
App selection with image
#356 by iyannsch was closed Sep 30, 2024 Loading…
Fix lastActivity not being initialized properly
#354 by sgraband was merged Oct 1, 2024 Loading…
6
Updated Helm URLs and added devcontainer definition
#353 by harmen-xb was merged Sep 26, 2024 Loading…
6
Update to Theia IDE 1.53.200
#352 by jfaltermeier was merged Sep 16, 2024 Loading…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.