Skip to content

Actions: scalameta/metals-vscode

Sourcegraph

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
243 workflow runs
243 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1422 from tgodzik/set-run-prov
Sourcegraph #788: Commit f80c360 pushed by tgodzik
August 25, 2023 09:14 36s main
August 25, 2023 09:14 36s
Add hot code reload
Sourcegraph #787: Pull request #1419 synchronize by iusildra
August 25, 2023 07:57 28s iusildra:add-hot-code-reload
August 25, 2023 07:57 28s
Add hot code reload
Sourcegraph #786: Pull request #1419 synchronize by iusildra
August 25, 2023 07:55 34s iusildra:add-hot-code-reload
August 25, 2023 07:55 34s
chore: Set runProvider as true
Sourcegraph #784: Pull request #1422 opened by tgodzik
August 18, 2023 17:35 1m 11s tgodzik:set-run-prov
August 18, 2023 17:35 1m 11s
Add hot code reload
Sourcegraph #783: Pull request #1419 synchronize by iusildra
August 17, 2023 14:22 33s iusildra:add-hot-code-reload
August 17, 2023 14:22 33s
Add hot code reload
Sourcegraph #782: Pull request #1419 synchronize by iusildra
August 15, 2023 11:06 34s iusildra:add-hot-code-reload
August 15, 2023 11:06 34s
Add hot code reload
Sourcegraph #781: Pull request #1419 synchronize by iusildra
August 14, 2023 14:47 38s iusildra:add-hot-code-reload
August 14, 2023 14:47 38s
Add hot code reload
Sourcegraph #780: Pull request #1419 opened by iusildra
August 14, 2023 14:08 3m 45s iusildra:add-hot-code-reload
August 14, 2023 14:08 3m 45s
Merge pull request #1416 from tgodzik/set-default-semantic
Sourcegraph #779: Commit d00d2ae pushed by tgodzik
August 10, 2023 09:37 43s main
August 10, 2023 09:37 43s
Merge pull request #1414 from tgodzik/fix-doctor
Sourcegraph #777: Commit 9ccd390 pushed by tgodzik
August 7, 2023 12:46 30s main
August 7, 2023 12:46 30s
bugfix: accommodate junit encoded test names
Sourcegraph #775: Pull request #1411 synchronize by kasiaMarek
August 4, 2023 09:08 29m 18s kasiaMarek:junit-encoded-names
August 4, 2023 09:08 29m 18s
Merge pull request #1412 from tgodzik/adjust-toggle
Sourcegraph #774: Commit fdb5d15 pushed by tgodzik
August 3, 2023 13:07 1m 25s main
August 3, 2023 13:07 1m 25s
ProTip! You can narrow down the results and go further in time using created:<2023-07-31 or the other filters available.