Skip to content

Actions: voodoos/merlin

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
192 workflow runs
192 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

occurrences: introduce a cache for the index
CI #202: Commit 1f9c44c pushed by voodoos
February 20, 2024 15:31 22s 502-preview
February 20, 2024 15:31 22s
test: promote improvements in testsuite
CI #200: Commit 13d7c14 pushed by voodoos
February 19, 2024 13:19 30s 502-preview
February 19, 2024 13:19 30s
CI
CI #199: Scheduled
February 19, 2024 12:31 9m 46s master
February 19, 2024 12:31 9m 46s
Prepare for preview release
CI #198: Commit 74191f1 pushed by voodoos
February 16, 2024 12:34 19s 502-preview
February 16, 2024 12:34 19s
CI
CI #197: Scheduled
February 13, 2024 12:30 21m 17s master
February 13, 2024 12:30 21m 17s
CI
CI #196: Scheduled
February 7, 2024 12:30 11m 47s master
February 7, 2024 12:30 11m 47s
CI
CI #195: Scheduled
February 1, 2024 12:30 13m 35s master
February 1, 2024 12:30 13m 35s
CI
CI #194: Scheduled
January 31, 2024 12:30 11m 51s master
January 31, 2024 12:30 11m 51s
CI
CI #193: Scheduled
January 25, 2024 12:35 13m 37s master
January 25, 2024 12:35 13m 37s
CI
CI #192: Scheduled
January 19, 2024 12:34 9m 19s master
January 19, 2024 12:34 9m 19s
Adapt to new cmt format for locate and occurrences + project wide occurrences
CI #191: Pull request #8 synchronize by voodoos
January 16, 2024 13:41 10m 18s 414+index-in-cmt
January 16, 2024 13:41 10m 18s
CI
CI #190: Scheduled
January 13, 2024 12:32 8m 48s master
January 13, 2024 12:32 8m 48s
CI
CI #188: Scheduled
January 7, 2024 12:31 8m 35s master
January 7, 2024 12:31 8m 35s
CI
CI #187: Scheduled
January 1, 2024 12:32 8m 35s master
January 1, 2024 12:32 8m 35s
CI
CI #186: Scheduled
December 31, 2023 12:31 14m 15s master
December 31, 2023 12:31 14m 15s
CI
CI #185: Scheduled
December 25, 2023 12:32 12m 8s master
December 25, 2023 12:32 12m 8s
CI
CI #184: Scheduled
December 19, 2023 12:33 10m 48s master
December 19, 2023 12:33 10m 48s
Backports for release 4.13-500 (#1718)
CI #183: Commit 0fe8dd9 pushed by voodoos
December 18, 2023 16:29 14m 44s 500
500
December 18, 2023 16:29 14m 44s
Report cache hit/miss stats (#1711)
CI #182: Commit d0ea17f pushed by voodoos
December 18, 2023 14:31 9m 26s master
December 18, 2023 14:31 9m 26s
CI
CI #181: Scheduled
December 13, 2023 12:34 9m 7s master
December 13, 2023 12:34 9m 7s
CI
CI #180: Scheduled
December 7, 2023 12:34 13m 38s master
December 7, 2023 12:34 13m 38s
501
December 1, 2023 13:49 25s
Merge pull request #1715 from voodoos/501-backports
CI #178: Commit db7ea8b pushed by voodoos
December 1, 2023 13:44 11m 26s 501
501
December 1, 2023 13:44 11m 26s