Skip to content

Actions: tarides/ocaml-eglot

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
199 workflow runs
199 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #76 from tarides/fix-objhandler-hook CI #200: Commit 588e3a5 pushed by xvw
36s main
main
36s
Move objinfo into a dedicated module and make it not invasive CI #199: Pull request #76 opened by xvw
37s fix-objhandler-hook
fix-objhandler-hook
37s
Xref backend without tunneling CI #198: Pull request #72 synchronize by xvw
36s xref-backend-without-tunneling
xref-backend-without-tunneling
36s
Xref backend without tunneling CI #197: Pull request #72 synchronize by xvw
44s xref-backend-without-tunneling
xref-backend-without-tunneling
44s
Add command [ocaml-eglot-type-annotate] CI #196: Pull request #74 synchronize by arvidj
36s arvidj:aj/type-annotate-enclosing
arvidj:aj/type-annotate-enclosing
36s
Add command [ocaml-eglot-type-annotate] CI #195: Pull request #74 opened by arvidj
36s arvidj:aj/type-annotate-enclosing
arvidj:aj/type-annotate-enclosing
36s
Merge pull request #73 from tarides/simplify-locate-function-based-on… CI #194: Commit f7ea764 pushed by xvw
35s main
main
35s
Simplify locate function based on xref CI #193: Pull request #73 synchronize by xvw
36s simplify-locate-function-based-on-xref
simplify-locate-function-based-on-xref
36s
Simplify locate function based on xref CI #192: Pull request #73 synchronize by xvw
36s simplify-locate-function-based-on-xref
simplify-locate-function-based-on-xref
36s
Simplify locate function based on xref CI #191: Pull request #73 opened by xvw
34s simplify-locate-function-based-on-xref
simplify-locate-function-based-on-xref
34s
Xref backend without tunneling CI #190: Pull request #72 synchronize by xvw
34s xref-backend-without-tunneling
xref-backend-without-tunneling
34s
Xref backend without tunneling CI #189: Pull request #72 synchronize by xvw
37s xref-backend-without-tunneling
xref-backend-without-tunneling
37s
Xref backend without tunneling CI #188: Pull request #72 synchronize by xvw
35s xref-backend-without-tunneling
xref-backend-without-tunneling
35s
Xref backend without tunneling CI #187: Pull request #72 synchronize by xvw
36s xref-backend-without-tunneling
xref-backend-without-tunneling
36s
Xref backend without tunneling CI #186: Pull request #72 synchronize by xvw
38s xref-backend-without-tunneling
xref-backend-without-tunneling
38s
Xref backend without tunneling CI #185: Pull request #72 synchronize by xvw
35s xref-backend-without-tunneling
xref-backend-without-tunneling
35s
Xref backend without tunneling CI #184: Pull request #72 synchronize by xvw
36s xref-backend-without-tunneling
xref-backend-without-tunneling
36s
Xref backend without tunneling CI #183: Pull request #72 opened by xvw
37s xref-backend-without-tunneling
xref-backend-without-tunneling
37s
Merge pull request #71 from shonfeder/min-dune-pkg CI #182: Commit dd2610b pushed by xvw
40s main
main
40s
Add min dune versions for dune tools env CI #181: Pull request #71 opened by shonfeder
40s shonfeder:min-dune-pkg
shonfeder:min-dune-pkg
40s
Merge pull request #70 from shonfeder/readme-suggestions CI #180: Commit 2cabf84 pushed by xvw
42s main
main
42s
Merge pull request #69 from shonfeder/usage-with-dune-pkg CI #179: Commit 0c2dc69 pushed by xvw
43s main
main
43s
Readme suggestions CI #178: Pull request #70 opened by shonfeder
42s shonfeder:readme-suggestions
shonfeder:readme-suggestions
42s
Document how to use with dune pkg CI #177: Pull request #69 opened by shonfeder
43s shonfeder:usage-with-dune-pkg
shonfeder:usage-with-dune-pkg
43s
Deal with project relaying on dune package management CI #176: Pull request #68 synchronize by catern
41s support-for-dune-package-management
support-for-dune-package-management
41s