Skip to content

Actions: mirage/irmin

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
164 workflow runs
164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[RFC]: Convert to direct-style with Eio
coverage #2153: Pull request #2149 synchronize by art-w
July 22, 2024 09:27 15m 37s patricoferris:direct-style
July 22, 2024 09:27 15m 37s
coverage
coverage #2152: Scheduled
July 22, 2024 01:28 6h 0m 24s main
July 22, 2024 01:28 6h 0m 24s
Update GitHub Actions
coverage #2151: Pull request #2321 synchronize by smorimoto
July 21, 2024 10:29 6h 0m 29s smorimoto:update-actions
July 21, 2024 10:29 6h 0m 29s
coverage
coverage #2148: Scheduled
July 15, 2024 01:28 6h 0m 27s main
July 15, 2024 01:28 6h 0m 27s
[RFC]: Convert to direct-style with Eio
coverage #2147: Pull request #2149 synchronize by art-w
July 8, 2024 11:52 15m 25s patricoferris:direct-style
July 8, 2024 11:52 15m 25s
coverage
coverage #2146: Scheduled
July 8, 2024 01:27 6h 0m 25s main
July 8, 2024 01:27 6h 0m 25s
coverage
coverage #2145: Scheduled
July 1, 2024 01:28 6h 0m 23s main
July 1, 2024 01:28 6h 0m 23s
coverage
coverage #2144: Scheduled
June 24, 2024 01:27 6h 0m 28s main
June 24, 2024 01:27 6h 0m 28s
coverage
coverage #2143: Scheduled
June 17, 2024 01:27 6h 0m 26s main
June 17, 2024 01:27 6h 0m 26s
coverage
coverage #2142: Scheduled
June 10, 2024 01:27 12m 53s main
June 10, 2024 01:27 12m 53s
coverage
coverage #2141: Scheduled
June 3, 2024 01:27 12m 9s main
June 3, 2024 01:27 12m 9s
coverage
coverage #2140: Scheduled
May 27, 2024 01:27 10m 14s main
May 27, 2024 01:27 10m 14s
coverage
coverage #2139: Scheduled
May 20, 2024 01:26 12m 54s main
May 20, 2024 01:26 12m 54s
libirmin: reuse a single eio scheduler across calls
coverage #2138: Pull request #2318 opened by art-w
May 17, 2024 16:44 15m 1s art-w:eio-libirmin
May 17, 2024 16:44 15m 1s
irmin-fs: Eio backend
coverage #2137: Pull request #2316 synchronize by art-w
May 15, 2024 09:01 12m 20s art-w:eio-fs-conf
May 15, 2024 09:01 12m 20s
irmin-fs: Eio backend
coverage #2136: Pull request #2316 opened by art-w
May 14, 2024 15:43 15m 2s art-w:eio-fs-conf
May 14, 2024 15:43 15m 2s
[RFC]: Convert to direct-style with Eio
coverage #2135: Pull request #2149 synchronize by art-w
May 13, 2024 10:20 12m 3s patricoferris:direct-style
May 13, 2024 10:20 12m 3s
coverage
coverage #2134: Scheduled
May 13, 2024 01:26 9m 36s main
May 13, 2024 01:26 9m 36s
[RFC]: Convert to direct-style with Eio
coverage #2133: Pull request #2149 synchronize by art-w
May 6, 2024 18:31 12m 26s patricoferris:direct-style
May 6, 2024 18:31 12m 26s
[RFC]: Convert to direct-style with Eio
coverage #2132: Pull request #2149 synchronize by art-w
May 6, 2024 18:13 11m 8s patricoferris:direct-style
May 6, 2024 18:13 11m 8s
[RFC]: Convert to direct-style with Eio
coverage #2131: Pull request #2149 synchronize by art-w
May 6, 2024 17:53 14m 2s patricoferris:direct-style
May 6, 2024 17:53 14m 2s
[RFC]: Convert to direct-style with Eio
coverage #2130: Pull request #2149 synchronize by art-w
May 6, 2024 17:38 11m 45s patricoferris:direct-style
May 6, 2024 17:38 11m 45s
[RFC]: Convert to direct-style with Eio
coverage #2129: Pull request #2149 synchronize by art-w
May 6, 2024 16:55 13m 25s patricoferris:direct-style
May 6, 2024 16:55 13m 25s
[RFC]: Convert to direct-style with Eio
coverage #2128: Pull request #2149 synchronize by art-w
May 6, 2024 16:42 13m 22s patricoferris:direct-style
May 6, 2024 16:42 13m 22s
[RFC]: Convert to direct-style with Eio
coverage #2127: Pull request #2149 synchronize by art-w
May 6, 2024 15:48 14m 6s patricoferris:direct-style
May 6, 2024 15:48 14m 6s