Skip to content

Actions: ocaml/merlin

Actions

Fuzzy CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
182 workflow runs
182 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Changelog update
Fuzzy CI #257: Pull request #1941 synchronize by voodoos
June 23, 2025 14:09 19m 46s voodoos:check-fuzzy-ci
June 23, 2025 14:09 19m 46s
Add reproduction for some locate issues
Fuzzy CI #256: Pull request #1930 synchronize by voodoos
June 23, 2025 14:01 15m 2s voodoos:state-of-jump-to-def
June 23, 2025 14:01 15m 2s
Add reproduction for some locate issues
Fuzzy CI #255: Pull request #1930 synchronize by voodoos
June 23, 2025 09:05 20m 29s voodoos:state-of-jump-to-def
June 23, 2025 09:05 20m 29s
Add reproduction for some locate issues
Fuzzy CI #254: Pull request #1930 synchronize by voodoos
June 23, 2025 09:02 20m 57s voodoos:state-of-jump-to-def
June 23, 2025 09:02 20m 57s
Fix 1913
Fuzzy CI #251: Pull request #1935 synchronize by voodoos
May 27, 2025 10:08 20m 52s voodoos:fix-1913
May 27, 2025 10:08 20m 52s
Fix 1913
Fuzzy CI #249: Pull request #1935 synchronize by voodoos
May 27, 2025 09:17 16m 14s voodoos:fix-1913
May 27, 2025 09:17 16m 14s
Fix 1913
Fuzzy CI #247: Pull request #1935 synchronize by voodoos
May 22, 2025 07:08 45m 56s voodoos:fix-1913
May 22, 2025 07:08 45m 56s
Add reproduction for some locate issues
Fuzzy CI #246: Pull request #1930 synchronize by voodoos
May 20, 2025 13:02 21m 24s voodoos:state-of-jump-to-def
May 20, 2025 13:02 21m 24s
Fix 1913
Fuzzy CI #244: Pull request #1935 synchronize by voodoos
May 20, 2025 08:30 16m 6s voodoos:fix-1913
May 20, 2025 08:30 16m 6s
Introduce typer interruption
Fuzzy CI #243: Pull request #1920 synchronize by xvw
May 19, 2025 11:41 6h 0m 28s xvw:partial-typer-merlin-domains
May 19, 2025 11:41 6h 0m 28s
Fix 1913
Fuzzy CI #240: Pull request #1935 synchronize by voodoos
May 15, 2025 15:57 16m 23s voodoos:fix-1913
May 15, 2025 15:57 16m 23s
Fix 1913
Fuzzy CI #239: Pull request #1935 synchronize by voodoos
May 15, 2025 15:45 16m 41s voodoos:fix-1913
May 15, 2025 15:45 16m 41s
Fix 1913
Fuzzy CI #238: Pull request #1935 opened by voodoos
May 15, 2025 15:32 6m 33s voodoos:fix-1913
May 15, 2025 15:32 6m 33s