Skip to content

Actions: tarides/ocaml-eglot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
231 workflow runs
231 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #86 from catern/xref-use-eglot CI #232: Commit 67d74e1 pushed by xvw
39s main
main
39s
Use eglot--lsp-xrefs-for-method for declaration/definition at point CI #231: Pull request #86 opened by catern
44s catern:xref-use-eglot
catern:xref-use-eglot
44s
Xref backend without tunneling CI #230: Pull request #72 synchronize by xvw
37s xref-backend-without-tunneling
xref-backend-without-tunneling
37s
Xref backend without tunneling CI #229: Pull request #72 synchronize by xvw
37s xref-backend-without-tunneling
xref-backend-without-tunneling
37s
Merge pull request #85 from tarides/xref-backend-references CI #228: Commit 616421d pushed by xvw
37s main
main
37s
Relay on eglot implementation of xref-backend-references CI #227: Pull request #85 synchronize by xvw
40s xref-backend-references
xref-backend-references
40s
Relay on eglot implementation of xref-backend-references CI #226: Pull request #85 opened by xvw
37s xref-backend-references
xref-backend-references
37s
Xref backend without tunneling CI #225: Pull request #72 synchronize by xvw
36s xref-backend-without-tunneling
xref-backend-without-tunneling
36s
Merge pull request #84 from tarides/type-annotation-command CI #224: Commit 7f2b7d6 pushed by xvw
36s main
main
36s
Type annotation command CI #223: Pull request #84 synchronize by xvw
38s type-annotation-command
type-annotation-command
38s
Type annotation command CI #222: Pull request #84 synchronize by xvw
36s type-annotation-command
type-annotation-command
36s
Type annotation command CI #221: Pull request #84 synchronize by xvw
37s type-annotation-command
type-annotation-command
37s
Type annotation command CI #220: Pull request #84 opened by xvw
35s type-annotation-command
type-annotation-command
35s
Merge pull request #83 from tarides/temporary-pulse-instead-of-sit CI #219: Commit aadfa57 pushed by xvw
36s main
main
36s
Change the region highlighting during type enclosing CI #218: Pull request #83 synchronize by xvw
35s temporary-pulse-instead-of-sit
temporary-pulse-instead-of-sit
35s
Change the region highlighting during type enclosing CI #217: Pull request #83 synchronize by xvw
36s temporary-pulse-instead-of-sit
temporary-pulse-instead-of-sit
36s
Change the region highlighting during type enclosing CI #216: Pull request #83 synchronize by xvw
37s temporary-pulse-instead-of-sit
temporary-pulse-instead-of-sit
37s
Change the region highlighting during type enclosing CI #215: Pull request #83 opened by xvw
35s temporary-pulse-instead-of-sit
temporary-pulse-instead-of-sit
35s
Xref backend without tunneling CI #214: Pull request #72 synchronize by xvw
35s xref-backend-without-tunneling
xref-backend-without-tunneling
35s
Xref backend without tunneling CI #213: Pull request #72 synchronize by xvw
36s xref-backend-without-tunneling
xref-backend-without-tunneling
36s
Xref backend without tunneling CI #212: Pull request #72 synchronize by xvw
37s xref-backend-without-tunneling
xref-backend-without-tunneling
37s
Xref backend without tunneling CI #211: Pull request #72 synchronize by xvw
36s xref-backend-without-tunneling
xref-backend-without-tunneling
36s
Xref backend without tunneling CI #210: Pull request #72 synchronize by xvw
39s xref-backend-without-tunneling
xref-backend-without-tunneling
39s
Xref backend without tunneling CI #209: Pull request #72 synchronize by xvw
36s xref-backend-without-tunneling
xref-backend-without-tunneling
36s
Merge pull request #80 from janestreet/small-fix-1 CI #208: Commit 5aff883 pushed by xvw
36s main
main
36s