Skip to content

Actions: ocaml/ocaml-lsp

Actions

Nix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix.yml
703 workflow runs
703 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
feature(lsp): add [Text_document.position_encoding] Nix #2192: Commit ee6cc02 pushed by rgrinberg
April 30, 2023 17:07 11m 3s ps/rr/feature_lsp___add__text_document_position_encoding_
ps/rr/feature_lsp___add__text_document_position_encoding_
April 30, 2023 17:07 11m 3s
coverage: add merlin deps Nix #2191: Pull request #1071 opened by Alizter
April 29, 2023 12:36 11m 41s Alizter:ps/branch/coverage__add_merlin_deps
Alizter:ps/branch/coverage__add_merlin_deps
April 29, 2023 12:36 11m 41s
feature: code coverage support (#1064) Nix #2190: Commit d972723 pushed by rgrinberg
April 29, 2023 03:23 9m 46s master
master
April 29, 2023 03:23 9m 46s
feature: code coverage support Nix #2189: Pull request #1064 synchronize by Alizter
April 28, 2023 22:19 9m 45s Alizter:ps/branch/feature__code_coverage_support
Alizter:ps/branch/feature__code_coverage_support
April 28, 2023 22:19 9m 45s
feature: Use Merlin as a libray Nix #2188: Pull request #1070 synchronize by voodoos
April 28, 2023 16:03 12m 0s voodoos:merlin-as-a-lib
voodoos:merlin-as-a-lib
April 28, 2023 16:03 12m 0s
feature: Use Merlin as a libray Nix #2187: Pull request #1070 synchronize by voodoos
April 28, 2023 15:45 11m 42s voodoos:merlin-as-a-lib
voodoos:merlin-as-a-lib
April 28, 2023 15:45 11m 42s
feature: Use Merlin as a libray Nix #2186: Pull request #1070 opened by voodoos
April 28, 2023 15:30 12m 19s voodoos:merlin-as-a-lib
voodoos:merlin-as-a-lib
April 28, 2023 15:30 12m 19s
feature: code coverage support Nix #2185: Pull request #1064 synchronize by Alizter
April 25, 2023 22:13 9m 55s Alizter:ps/branch/feature__code_coverage_support
Alizter:ps/branch/feature__code_coverage_support
April 25, 2023 22:13 9m 55s
feature: code coverage support Nix #2184: Pull request #1064 synchronize by Alizter
April 25, 2023 20:14 9m 54s Alizter:ps/branch/feature__code_coverage_support
Alizter:ps/branch/feature__code_coverage_support
April 25, 2023 20:14 9m 54s
fix: update DocumentSelector definition (#1068) Nix #2183: Commit 07ba12b pushed by rgrinberg
April 25, 2023 14:23 10m 41s master
master
April 25, 2023 14:23 10m 41s
fix: allow opening the same document twice Nix #2182: Commit 829f1b2 pushed by rgrinberg
April 25, 2023 14:22 12m 3s master
master
April 25, 2023 14:22 12m 3s
double opening the same document Nix #2181: Pull request #1067 synchronize by rgrinberg
April 25, 2023 14:21 13m 19s rgrinberg:ps/branch/test__double_opening_the_same_document
rgrinberg:ps/branch/test__double_opening_the_same_document
April 25, 2023 14:21 13m 19s
double opening the same document Nix #2180: Pull request #1067 synchronize by rgrinberg
April 25, 2023 14:19 9m 59s rgrinberg:ps/branch/test__double_opening_the_same_document
rgrinberg:ps/branch/test__double_opening_the_same_document
April 25, 2023 14:19 9m 59s
feature: code coverage support Nix #2179: Pull request #1064 synchronize by Alizter
April 25, 2023 00:23 9m 47s Alizter:ps/branch/feature__code_coverage_support
Alizter:ps/branch/feature__code_coverage_support
April 25, 2023 00:23 9m 47s
fix: update DocumentSelector definition Nix #2178: Pull request #1068 synchronize by rgrinberg
April 25, 2023 00:08 13m 14s ps/rr/fix__update_documentselector_definition
ps/rr/fix__update_documentselector_definition
April 25, 2023 00:08 13m 14s
fix: update DocumentSelector definition Nix #2177: Commit 76a01b7 pushed by rgrinberg
April 25, 2023 00:08 9m 57s ps/rr/fix__update_documentselector_definition
ps/rr/fix__update_documentselector_definition
April 25, 2023 00:08 9m 57s
fix: update DocumentSelector definition Nix #2176: Pull request #1068 synchronize by rgrinberg
April 25, 2023 00:07 22m 43s ps/rr/fix__update_documentselector_definition
ps/rr/fix__update_documentselector_definition
April 25, 2023 00:07 22m 43s
fix: update DocumentSelector definition Nix #2175: Commit 14e9b23 pushed by rgrinberg
April 25, 2023 00:07 10m 33s ps/rr/fix__update_documentselector_definition
ps/rr/fix__update_documentselector_definition
April 25, 2023 00:07 10m 33s
fix: update DocumentSelector definition Nix #2174: Pull request #1068 opened by rgrinberg
April 25, 2023 00:00 9m 35s ps/rr/fix__update_documentselector_definition
ps/rr/fix__update_documentselector_definition
April 25, 2023 00:00 9m 35s
fix: update DocumentSelector definition Nix #2173: Commit 224f200 pushed by rgrinberg
April 25, 2023 00:00 11m 42s ps/rr/fix__update_documentselector_definition
ps/rr/fix__update_documentselector_definition
April 25, 2023 00:00 11m 42s
double opening the same document Nix #2172: Pull request #1067 synchronize by rgrinberg
April 24, 2023 18:38 11m 42s rgrinberg:ps/branch/test__double_opening_the_same_document
rgrinberg:ps/branch/test__double_opening_the_same_document
April 24, 2023 18:38 11m 42s
double opening the same document Nix #2171: Pull request #1067 synchronize by rgrinberg
April 24, 2023 17:48 9m 49s rgrinberg:ps/branch/test__double_opening_the_same_document
rgrinberg:ps/branch/test__double_opening_the_same_document
April 24, 2023 17:48 9m 49s
double opening the same document Nix #2170: Pull request #1067 opened by rgrinberg
April 24, 2023 17:47 9m 59s rgrinberg:ps/branch/test__double_opening_the_same_document
rgrinberg:ps/branch/test__double_opening_the_same_document
April 24, 2023 17:47 9m 59s
chore(nix): update flakes (#1065) Nix #2169: Commit 9853edc pushed by rgrinberg
April 24, 2023 15:27 9m 53s master
master
April 24, 2023 15:27 9m 53s
chore(nix): update flakes Nix #2168: Pull request #1065 opened by rgrinberg
April 24, 2023 02:07 10m 1s ps/rr/chore_nix___update_flakes
ps/rr/chore_nix___update_flakes
April 24, 2023 02:07 10m 1s
ProTip! You can narrow down the results and go further in time using created:<2023-04-24 or the other filters available.