Skip to content

Actions: ocaml/merlin

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
555 workflow runs
555 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[503] Project-wide renaming CI #2376: Pull request #1877 synchronize by voodoos
January 9, 2025 17:25 7m 42s voodoos:503-renaming
voodoos:503-renaming
January 9, 2025 17:25 7m 42s
Distinguish files with identical contents CI #2375: Pull request #1882 synchronize by liam923
January 9, 2025 15:01 7m 51s liam923:distinguish-files
liam923:distinguish-files
January 9, 2025 15:01 7m 51s
Distinguish files with identical contents CI #2374: Pull request #1882 synchronize by liam923
January 8, 2025 23:24 6m 37s liam923:distinguish-files
liam923:distinguish-files
January 8, 2025 23:24 6m 37s
Distinguish files with identical contents CI #2373: Pull request #1882 synchronize by liam923
January 8, 2025 22:45 7m 17s liam923:distinguish-files
liam923:distinguish-files
January 8, 2025 22:45 7m 17s
Distinguish files with identical contents CI #2372: Pull request #1882 opened by liam923
January 8, 2025 22:40 6m 21s liam923:distinguish-files
liam923:distinguish-files
January 8, 2025 22:40 6m 21s
Merge pull request #1881 from voodoos/index-perform-less-merges CI #2371: Commit 3a806ef pushed by voodoos
January 8, 2025 16:56 6m 30s main
main
January 8, 2025 16:56 6m 30s
Immediately grow the final index instead of building and merging CI #2370: Pull request #1881 synchronize by voodoos
January 8, 2025 16:49 6m 31s voodoos:index-perform-less-merges
voodoos:index-perform-less-merges
January 8, 2025 16:49 6m 31s
Merge pull request #1880 from voodoos/503-final CI #2369: Commit f8d2f25 pushed by voodoos
January 8, 2025 16:47 6m 32s main
main
January 8, 2025 16:47 6m 32s
Immediately grow the final index instead of building and merging CI #2368: Pull request #1881 opened by voodoos
January 8, 2025 16:47 6m 43s voodoos:index-perform-less-merges
voodoos:index-perform-less-merges
January 8, 2025 16:47 6m 43s
Finish upgrade to 5.3 CI #2367: Pull request #1880 synchronize by voodoos
January 8, 2025 15:50 7m 0s voodoos:503-final
voodoos:503-final
January 8, 2025 15:50 7m 0s
Finish upgrade to 5.3 CI #2366: Pull request #1880 synchronize by voodoos
January 8, 2025 14:24 6m 29s voodoos:503-final
voodoos:503-final
January 8, 2025 14:24 6m 29s
Finish upgrade to 5.3 CI #2365: Pull request #1880 synchronize by voodoos
January 8, 2025 14:13 6m 34s voodoos:503-final
voodoos:503-final
January 8, 2025 14:13 6m 34s
Finish upgrade to 5.3 CI #2364: Pull request #1880 opened by voodoos
January 8, 2025 13:17 6m 23s voodoos:503-final
voodoos:503-final
January 8, 2025 13:17 6m 23s
CI CI #2363: Scheduled
January 7, 2025 12:10 6m 21s main
main
January 7, 2025 12:10 6m 21s
Replace Marshal by Granular_marshal in ocaml-index CI #2362: Pull request #1875 synchronize by art-w
January 6, 2025 16:29 6m 46s Lucccyo:main
Lucccyo:main
January 6, 2025 16:29 6m 46s
CI CI #2361: Scheduled
January 1, 2025 12:10 6m 27s main
main
January 1, 2025 12:10 6m 27s
CI CI #2360: Scheduled
December 31, 2024 12:10 6m 20s main
main
December 31, 2024 12:10 6m 20s
CI CI #2359: Scheduled
December 25, 2024 12:09 7m 32s main
main
December 25, 2024 12:09 7m 32s
[503] Project-wide renaming CI #2358: Pull request #1877 synchronize by voodoos
December 23, 2024 12:51 7m 2s voodoos:503-renaming
voodoos:503-renaming
December 23, 2024 12:51 7m 2s
[503] Project-wide renaming CI #2357: Pull request #1877 synchronize by voodoos
December 20, 2024 16:33 6m 23s voodoos:503-renaming
voodoos:503-renaming
December 20, 2024 16:33 6m 23s
[503] Project-wide renaming CI #2356: Pull request #1877 synchronize by voodoos
December 20, 2024 16:31 6m 18s voodoos:503-renaming
voodoos:503-renaming
December 20, 2024 16:31 6m 18s
[503] Project-wide renaming CI #2355: Pull request #1877 synchronize by voodoos
December 20, 2024 16:30 6m 31s voodoos:503-renaming
voodoos:503-renaming
December 20, 2024 16:30 6m 31s
[503] Project-wide renaming CI #2354: Pull request #1877 synchronize by voodoos
December 20, 2024 16:28 7m 6s voodoos:503-renaming
voodoos:503-renaming
December 20, 2024 16:28 7m 6s
Merge pull request #1857 from voodoos/503-distinct-uids CI #2353: Commit 005b42c pushed by voodoos
December 20, 2024 16:28 6m 21s main
main
December 20, 2024 16:28 6m 21s
[503] Use source information in uids to jump to the correct file and provide occurrences in both the interface and the implementation CI #2352: Pull request #1857 synchronize by voodoos
December 20, 2024 15:40 6m 24s voodoos:503-distinct-uids
voodoos:503-distinct-uids
December 20, 2024 15:40 6m 24s