Skip to content

Actions: ocaml/ocaml-lsp

Changelog check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
607 workflow runs
607 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add missing dev depends
Changelog check #853: Pull request #1422 synchronize by smorimoto
December 13, 2024 00:32 12s smorimoto:add-missing-depends
December 13, 2024 00:32 12s
ci: add update-flake-lock workflow
Changelog check #852: Pull request #1424 opened by smorimoto
December 13, 2024 00:22 21s smorimoto:gha-update-flake-lock
December 13, 2024 00:22 21s
Update ocamlformat to 0.27.0
Changelog check #851: Pull request #1423 opened by smorimoto
December 13, 2024 00:11 13s smorimoto:ocamlformat-0.27.0
December 13, 2024 00:11 13s
Add missing dev depends
Changelog check #850: Pull request #1422 synchronize by smorimoto
December 13, 2024 00:08 13s smorimoto:add-missing-depends
December 13, 2024 00:08 13s
Add missing dev depends
Changelog check #849: Pull request #1422 opened by smorimoto
December 13, 2024 00:08 12s smorimoto:add-missing-depends
December 13, 2024 00:08 12s
Update .github/dependabot.yml
Changelog check #848: Pull request #1421 opened by smorimoto
December 12, 2024 23:57 11s smorimoto:update-dependabot-config
December 12, 2024 23:57 11s
Update npm deps
Changelog check #847: Pull request #1419 synchronize by smorimoto
December 11, 2024 19:49 16s smorimoto:update-npm-deps
December 11, 2024 19:49 16s
Add a new option to mute the hover response.
Changelog check #846: Pull request #1416 synchronize by voodoos
December 11, 2024 11:00 11s voodoos:mute-hover
December 11, 2024 11:00 11s
Chore: promote @lint results
Changelog check #845: Pull request #1420 labeled by voodoos
December 11, 2024 10:47 17s voodoos:chore-lint
December 11, 2024 10:47 17s
Chore: promote @lint results
Changelog check #844: Pull request #1420 opened by voodoos
December 11, 2024 10:47 16s voodoos:chore-lint
December 11, 2024 10:47 16s
Update npm deps
Changelog check #843: Pull request #1419 opened by smorimoto
December 10, 2024 19:22 12s smorimoto:update-npm-deps
December 10, 2024 19:22 12s
Cleanup dune stuff
Changelog check #842: Pull request #1418 opened by smorimoto
December 10, 2024 17:45 15s smorimoto:cleanup-dune
December 10, 2024 17:45 15s
Add a new option to mute the hover response.
Changelog check #841: Pull request #1416 synchronize by voodoos
December 10, 2024 16:05 18s voodoos:mute-hover
December 10, 2024 16:05 18s
Add a new option to mute the hover response.
Changelog check #840: Pull request #1416 opened by voodoos
December 6, 2024 18:37 12s voodoos:mute-hover
December 6, 2024 18:37 12s
Fix minor typos in README
Changelog check #839: Pull request #1415 labeled by xvw
December 5, 2024 18:19 18s cjohnson19:readme-fixes
December 5, 2024 18:19 18s
Fix minor typos in README
Changelog check #838: Pull request #1415 opened by cjohnson19
December 5, 2024 17:50 15s cjohnson19:readme-fixes
December 5, 2024 17:50 15s
Prepare for release 1.20.1-4.14
Changelog check #837: Pull request #1413 opened by voodoos
December 2, 2024 13:06 11s voodoos:414-LTS-1.20.1
December 2, 2024 13:06 11s
Prepare release 1.20.1
Changelog check #836: Pull request #1412 opened by voodoos
December 2, 2024 10:11 12s voodoos:prepare-1.20.1
December 2, 2024 10:11 12s
Prepare for a release compatible with 4.14
Changelog check #833: Pull request #1409 synchronize by voodoos
November 29, 2024 15:55 22s voodoos:414-support
November 29, 2024 15:55 22s
Prepare for a release compatible with 4.14
Changelog check #832: Pull request #1409 labeled by voodoos
November 29, 2024 15:53 9s voodoos:414-support
November 29, 2024 15:53 9s