Skip to content

Actions: eclipse-glsp/glsp-theia-integration

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
423 workflow runs
423 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL CodeQL #376: Scheduled
July 24, 2023 08:28 1m 30s master
master
July 24, 2023 08:28 1m 30s
GLSP-1062: Merge diagram & sproty-theia.css (#171) CodeQL #375: Commit 43cd793 pushed by tortmayr
July 19, 2023 10:27 2m 20s master
master
July 19, 2023 10:27 2m 20s
GLSP-1062: Merge diagram & sproty-theia.css CodeQL #374: Pull request #171 opened by tortmayr
July 19, 2023 10:18 1m 59s issues/1062
issues/1062
July 19, 2023 10:18 1m 59s
CodeQL CodeQL #373: Scheduled
July 17, 2023 08:31 1m 50s master
master
July 17, 2023 08:31 1m 50s
GLSP-1022: Update to Theia 1.39.0 (#170) CodeQL #372: Commit ec38837 pushed by tortmayr
July 15, 2023 23:53 2m 39s master
master
July 15, 2023 23:53 2m 39s
GLSP-1022: Update to Theia 1.39.0 CodeQL #371: Pull request #170 synchronize by tortmayr
July 14, 2023 23:24 1m 53s issues/1022-fu
issues/1022-fu
July 14, 2023 23:24 1m 53s
GLSP-1022: Update to Theia 1.39.0 CodeQL #370: Pull request #170 opened by tortmayr
July 14, 2023 13:33 1m 38s issues/1022-fu
issues/1022-fu
July 14, 2023 13:33 1m 38s
Correctly propagate indeterminate progress CodeQL #369: Commit d4eb5f9 pushed by planger
July 14, 2023 13:25 1m 27s master
master
July 14, 2023 13:25 1m 27s
Correctly propagate indeterminate progress CodeQL #368: Pull request #169 synchronize by planger
July 14, 2023 12:55 1m 34s planger/issues/1019_fix
planger/issues/1019_fix
July 14, 2023 12:55 1m 34s
Correctly propagate indeterminate progress CodeQL #367: Pull request #169 opened by planger
July 14, 2023 12:50 1m 52s planger/issues/1019_fix
planger/issues/1019_fix
July 14, 2023 12:50 1m 52s
Add support for showing server progress in Theia (#168) CodeQL #366: Commit 05f8989 pushed by tortmayr
July 13, 2023 20:06 1m 51s master
master
July 13, 2023 20:06 1m 51s
Add support for showing server progress in Theia CodeQL #365: Pull request #168 synchronize by planger
July 13, 2023 18:48 1m 35s planger/issues/1019
planger/issues/1019
July 13, 2023 18:48 1m 35s
Add support for showing server progress in Theia CodeQL #364: Pull request #168 synchronize by planger
July 13, 2023 18:43 1m 39s planger/issues/1019
planger/issues/1019
July 13, 2023 18:43 1m 39s
Add support for showing server progress in Theia CodeQL #363: Pull request #168 synchronize by planger
July 13, 2023 12:12 1m 42s planger/issues/1019
planger/issues/1019
July 13, 2023 12:12 1m 42s
GLSP-1049: Update to new client version (#166) CodeQL #362: Commit 8b5e54e pushed by tortmayr
July 12, 2023 22:11 2m 13s master
master
July 12, 2023 22:11 2m 13s
Add support for showing server progress in Theia CodeQL #361: Pull request #168 synchronize by planger
July 12, 2023 15:32 2m 0s planger/issues/1019
planger/issues/1019
July 12, 2023 15:32 2m 0s
Add support for showing server progress in Theia CodeQL #360: Pull request #168 synchronize by planger
July 12, 2023 15:15 2m 6s planger/issues/1019
planger/issues/1019
July 12, 2023 15:15 2m 6s
Add support for showing server progress in Theia CodeQL #359: Pull request #168 opened by planger
July 12, 2023 15:14 2m 8s planger/issues/1019
planger/issues/1019
July 12, 2023 15:14 2m 8s
Bump semver from 5.7.1 to 5.7.2 CodeQL #358: Pull request #167 opened by dependabot bot
July 11, 2023 17:23 2m 24s dependabot/npm_and_yarn/semver-5.7.2
dependabot/npm_and_yarn/semver-5.7.2
July 11, 2023 17:23 2m 24s
GLSP-1049: Update to new client version CodeQL #357: Pull request #166 synchronize by tortmayr
July 11, 2023 11:02 2m 15s issues/1049
issues/1049
July 11, 2023 11:02 2m 15s
GLSP-1049: Update to new client version CodeQL #356: Pull request #166 synchronize by tortmayr
July 10, 2023 23:03 2m 20s issues/1049
issues/1049
July 10, 2023 23:03 2m 20s
CodeQL CodeQL #355: Scheduled
July 10, 2023 08:32 2m 1s master
master
July 10, 2023 08:32 2m 1s
GLSP-1049: Update to new client version CodeQL #354: Pull request #166 opened by tortmayr
July 9, 2023 20:35 2m 0s issues/1049
issues/1049
July 9, 2023 20:35 2m 0s
ProTip! You can narrow down the results and go further in time using created:<2023-07-09 or the other filters available.