Skip to content

Actions: rescript-lang/rescript-vscode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
669 workflow runs
669 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

1.26.0 CI #2274: Commit c2fe315 pushed by zth
November 14, 2023 14:38 9m 51s master
master
November 14, 2023 14:38 9m 51s
More robust handling of namespaces in pipe completion (#850) CI #2273: Commit b0b4598 pushed by zth
November 14, 2023 14:17 12m 53s master
master
November 14, 2023 14:17 12m 53s
More robust handling of namespaces in pipe completion CI #2272: Pull request #850 synchronize by zth
November 14, 2023 14:16 10m 24s namespace-handling-in-pipe-completion
namespace-handling-in-pipe-completion
November 14, 2023 14:16 10m 24s
More robust handling of namespaces in pipe completion CI #2271: Pull request #850 opened by zth
November 14, 2023 11:29 9m 2s namespace-handling-in-pipe-completion
namespace-handling-in-pipe-completion
November 14, 2023 11:29 9m 2s
Docs: add server config (#849) CI #2270: Commit 8f2adcb pushed by zth
November 14, 2023 06:18 10m 42s master
master
November 14, 2023 06:18 10m 42s
Docs: add server config CI #2269: Pull request #849 synchronize by aspeddro
November 14, 2023 00:31 8m 32s aspeddro:add-server-config
aspeddro:add-server-config
November 14, 2023 00:31 8m 32s
Docs: add server config CI #2268: Pull request #849 opened by aspeddro
November 13, 2023 23:45 9m 4s aspeddro:add-server-config
aspeddro:add-server-config
November 13, 2023 23:45 9m 4s
1.24.0 CI #2267: Commit 511a185 pushed by zth
November 13, 2023 09:26 10m 56s 1.24.0
1.24.0
November 13, 2023 09:26 10m 56s
feat: cli option to prevent 'start build' message CI #2266: Pull request #847 opened by dkirchhof
November 13, 2023 09:26 10m 11s feat/cli-askToStartBuild-option
feat/cli-askToStartBuild-option
November 13, 2023 09:26 10m 11s
1.24.0 CI #2265: Commit 511a185 pushed by zth
November 13, 2023 09:04 12m 14s master
master
November 13, 2023 09:04 12m 14s
Dont complete for illegal file module names (#844) CI #2264: Commit 4731805 pushed by zth
November 13, 2023 08:16 9m 29s master
master
November 13, 2023 08:16 9m 29s
Dont complete for illegal file module names CI #2263: Pull request #844 synchronize by zth
November 13, 2023 07:55 12m 23s filter-out-illegal-names
filter-out-illegal-names
November 13, 2023 07:55 12m 23s
Clean up hover of namespaced module (#845) CI #2262: Commit f093f87 pushed by zth
November 12, 2023 12:01 9m 36s master
master
November 12, 2023 12:01 9m 36s
Account for namespace when filtering pipe completion items (#843) CI #2261: Commit 6ea3d1c pushed by zth
November 12, 2023 09:02 10m 36s master
master
November 12, 2023 09:02 10m 36s
Clean up hover of namespaced module CI #2260: Pull request #845 synchronize by zth
November 11, 2023 21:14 8m 58s cleanup-namespaced-module-hover
cleanup-namespaced-module-hover
November 11, 2023 21:14 8m 58s
Clean up hover of namespaced module CI #2259: Pull request #845 opened by zth
November 11, 2023 21:13 43s cleanup-namespaced-module-hover
cleanup-namespaced-module-hover
November 11, 2023 21:13 43s
Dont complete for illegal file module names CI #2258: Pull request #844 synchronize by zth
November 11, 2023 20:40 9m 45s filter-out-illegal-names
filter-out-illegal-names
November 11, 2023 20:40 9m 45s
Dont complete for illegal file module names CI #2257: Pull request #844 opened by zth
November 11, 2023 20:39 51s filter-out-illegal-names
filter-out-illegal-names
November 11, 2023 20:39 51s
Account for namespace when filtering pipe completion items CI #2256: Pull request #843 synchronize by zth
November 11, 2023 20:19 8m 7s filter-namespace-in-pipe-completion
filter-namespace-in-pipe-completion
November 11, 2023 20:19 8m 7s
Account for namespace when filtering pipe completion items CI #2255: Pull request #843 opened by zth
November 11, 2023 20:18 1m 14s filter-namespace-in-pipe-completion
filter-namespace-in-pipe-completion
November 11, 2023 20:18 1m 14s
Fix issue with ordering of module opened via -open (#842) CI #2254: Commit 2c2552e pushed by zth
November 11, 2023 19:58 10m 3s master
master
November 11, 2023 19:58 10m 3s
Fix issue with ordering of module opened via -open CI #2253: Pull request #842 synchronize by zth
November 11, 2023 18:14 10m 32s fix-bsconfig-open-order
fix-bsconfig-open-order
November 11, 2023 18:14 10m 32s
Fix issue with ordering of module opened via -open CI #2252: Pull request #842 opened by zth
November 11, 2023 18:13 1m 30s fix-bsconfig-open-order
fix-bsconfig-open-order
November 11, 2023 18:13 1m 30s
Add pre-release to @rescript/language-server CI #2251: Pull request #841 opened by aspeddro
November 6, 2023 22:17 9m 29s aspeddro:add-prerelease-language-server
aspeddro:add-prerelease-language-server
November 6, 2023 22:17 9m 29s
typo CI #2250: Commit 56a0025 pushed by zth
November 3, 2023 14:10 11m 57s master
master
November 3, 2023 14:10 11m 57s
ProTip! You can narrow down the results and go further in time using created:<2023-11-03 or the other filters available.