Skip to content

Pull requests: ls1intum/artemis-theia-blueprints

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

feat: Add commit SHA suffix to image tags ready to merge This PR is reviewed by the developers and ready to merge
#73 opened Jan 27, 2026 by CodeByNikolas Loading…
Optimize BaseDockerfile caching
#69 opened Jan 20, 2026 by CodeByNikolas Loading…
56 update extension config ready to merge This PR is reviewed by the developers and ready to merge
#61 opened Dec 15, 2025 by KevinGruber2001 Loading…
1 task
Switch Terminal Shell from Bash to ZSH ready to merge This PR is reviewed by the developers and ready to merge
#53 opened Dec 9, 2025 by KevinGruber2001 Loading…
1 task done
add remote gradle config
#50 opened Dec 2, 2025 by KevinGruber2001 Loading…
1 task done
Add external languageserver support
#46 opened Nov 22, 2025 by CodeByNikolas Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.