Skip to content

Actions: mirage/irmin

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
708 workflow runs
708 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Temporarily fix CI for specific platforms issues coverage #2110: Commit 54b9348 pushed by art-w
April 12, 2024 13:28 9m 27s eio
eio
April 12, 2024 13:28 9m 27s
Temporarily fix CI for specific platforms issues coverage #2109: Commit eb3a072 pushed by art-w
April 12, 2024 12:30 12m 54s eio
eio
April 12, 2024 12:30 12m 54s
Change LRU cache and other hash tables to use kcas coverage #2108: Pull request #2281 synchronize by art-w
April 11, 2024 13:25 11m 5s clecat:kcas-lru
clecat:kcas-lru
April 11, 2024 13:25 11m 5s
Change LRU cache and other hash tables to use kcas Git Checks #546: Pull request #2281 synchronize by art-w
April 11, 2024 13:25 20s clecat:kcas-lru
clecat:kcas-lru
April 11, 2024 13:25 20s
[RFC]: Convert to direct-style with Eio Git Checks #545: Pull request #2149 synchronize by art-w
April 11, 2024 13:23 20s patricoferris:direct-style
patricoferris:direct-style
April 11, 2024 13:23 20s
[RFC]: Convert to direct-style with Eio coverage #2107: Pull request #2149 synchronize by art-w
April 11, 2024 13:23 9m 37s patricoferris:direct-style
patricoferris:direct-style
April 11, 2024 13:23 9m 37s
[RFC]: Convert to direct-style with Eio Changelog check #4027: Pull request #2149 synchronize by art-w
April 11, 2024 13:23 20s patricoferris:direct-style
patricoferris:direct-style
April 11, 2024 13:23 20s
[RFC]: Convert to direct-style with Eio Changelog check #4026: Pull request #2149 synchronize by art-w
April 9, 2024 13:24 23s patricoferris:direct-style
patricoferris:direct-style
April 9, 2024 13:24 23s
[RFC]: Convert to direct-style with Eio Git Checks #544: Pull request #2149 synchronize by art-w
April 9, 2024 13:24 16s patricoferris:direct-style
patricoferris:direct-style
April 9, 2024 13:24 16s
[RFC]: Convert to direct-style with Eio coverage #2106: Pull request #2149 synchronize by art-w
April 9, 2024 13:24 9m 41s patricoferris:direct-style
patricoferris:direct-style
April 9, 2024 13:24 9m 41s
[RFC]: Convert to direct-style with Eio Git Checks #543: Pull request #2149 synchronize by art-w
April 9, 2024 12:28 22s patricoferris:direct-style
patricoferris:direct-style
April 9, 2024 12:28 22s
[RFC]: Convert to direct-style with Eio Changelog check #4025: Pull request #2149 synchronize by art-w
April 9, 2024 12:28 21s patricoferris:direct-style
patricoferris:direct-style
April 9, 2024 12:28 21s
[RFC]: Convert to direct-style with Eio coverage #2105: Pull request #2149 synchronize by art-w
April 9, 2024 12:28 12m 52s patricoferris:direct-style
patricoferris:direct-style
April 9, 2024 12:28 12m 52s
coverage coverage #2104: Scheduled
April 8, 2024 01:23 10m 5s main
main
April 8, 2024 01:23 10m 5s
coverage coverage #2103: Scheduled
April 1, 2024 01:26 9m 32s main
main
April 1, 2024 01:26 9m 32s
[WIP] Move Irmin_pack.Io to eio coverage #2102: Pull request #2280 synchronize by clecat
March 26, 2024 16:40 13m 3s clecat:move-io-to-eio
clecat:move-io-to-eio
March 26, 2024 16:40 13m 3s
[WIP] Move Irmin_pack.Io to eio Git Checks #542: Pull request #2280 synchronize by clecat
March 26, 2024 16:40 17s clecat:move-io-to-eio
clecat:move-io-to-eio
March 26, 2024 16:40 17s
coverage coverage #2101: Scheduled
March 25, 2024 01:23 9m 27s main
main
March 25, 2024 01:23 9m 27s
coverage coverage #2100: Scheduled
March 18, 2024 01:22 9m 14s main
main
March 18, 2024 01:22 9m 14s
coverage coverage #2099: Scheduled
March 11, 2024 01:22 9m 58s main
main
March 11, 2024 01:22 9m 58s
[WIP] Move Irmin_pack.Io to eio coverage #2098: Pull request #2280 synchronize by clecat
March 6, 2024 15:05 9m 38s clecat:move-io-to-eio
clecat:move-io-to-eio
March 6, 2024 15:05 9m 38s
[WIP] Move Irmin_pack.Io to eio Git Checks #541: Pull request #2280 synchronize by clecat
March 6, 2024 15:05 37s clecat:move-io-to-eio
clecat:move-io-to-eio
March 6, 2024 15:05 37s
[WIP] Move Irmin_pack.Io to eio Git Checks #540: Pull request #2280 synchronize by clecat
March 6, 2024 13:39 30s clecat:move-io-to-eio
clecat:move-io-to-eio
March 6, 2024 13:39 30s
[WIP] Move Irmin_pack.Io to eio coverage #2097: Pull request #2280 synchronize by clecat
March 6, 2024 13:39 11m 29s clecat:move-io-to-eio
clecat:move-io-to-eio
March 6, 2024 13:39 11m 29s
coverage coverage #2096: Scheduled
March 4, 2024 01:23 9m 10s main
main
March 4, 2024 01:23 9m 10s