Actions: eclipse-theia/theia
Actions
610 workflow runs
610 workflow runs
changelog
for 1.40.0
.github/workflows/set-milestone-on-pr.yml
#1760:
Pull request #12772
closed
by
vince-fugnitto
DebugBreakpointWidget
.github/workflows/set-milestone-on-pr.yml
#1752:
Pull request #12567
closed
by
vince-fugnitto
TheiaDialog
page object
.github/workflows/set-milestone-on-pr.yml
#1751:
Pull request #12753
closed
by
tortmayr
MarkdownString
for documentation
.github/workflows/set-milestone-on-pr.yml
#1745:
Pull request #12685
closed
by
vince-fugnitto
ProTip!
You can narrow down the results and go further in time using created:<2023-07-17 or the other filters available.