Skip to content

Actions: mirage/irmin

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
73 workflow run results
73 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
patricoferris:direct-style
May 13, 2024 10:20 12m 3s
coverage coverage #2134: Scheduled
May 13, 2024 01:26 9m 36s main
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
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
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
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
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
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
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
patricoferris:direct-style
May 6, 2024 15:48 14m 6s
[RFC]: Convert to direct-style with Eio coverage #2126: Pull request #2149 synchronize by art-w
May 6, 2024 15:00 13m 15s patricoferris:direct-style
patricoferris:direct-style
May 6, 2024 15:00 13m 15s
coverage coverage #2125: Scheduled
May 6, 2024 01:25 11m 10s main
main
May 6, 2024 01:25 11m 10s
coverage coverage #2124: Scheduled
April 29, 2024 01:24 6h 0m 23s main
main
April 29, 2024 01:24 6h 0m 23s
coverage coverage #2123: Scheduled
April 22, 2024 01:25 9m 28s main
main
April 22, 2024 01:25 9m 28s
coverage coverage #2122: Scheduled
April 15, 2024 02:44 9m 25s main
main
April 15, 2024 02:44 9m 25s
simplify github action coverage #2121: Commit 8ce2908 pushed by art-w
April 13, 2024 11:48 11m 53s eio
eio
April 13, 2024 11:48 11m 53s
simplify github action coverage #2120: Commit 2405853 pushed by art-w
April 13, 2024 11:29 8m 50s eio
eio
April 13, 2024 11:29 8m 50s
Temporarily disable CI for specific platforms issues coverage #2119: Commit e68e347 pushed by art-w
April 12, 2024 17:30 9m 27s eio
eio
April 12, 2024 17:30 9m 27s
Temporarily disable CI for specific platforms issues coverage #2118: Commit c2c8d42 pushed by art-w
April 12, 2024 16:17 9m 26s eio
eio
April 12, 2024 16:17 9m 26s
Temporarily disable CI for specific platforms issues coverage #2117: Commit 4e4bcc1 pushed by art-w
April 12, 2024 15:49 9m 43s eio
eio
April 12, 2024 15:49 9m 43s
Temporarily disable CI for specific platforms issues coverage #2116: Commit 32b0a59 pushed by art-w
April 12, 2024 15:31 9m 26s eio
eio
April 12, 2024 15:31 9m 26s
Temporarily disable CI for specific platforms issues coverage #2115: Commit f8bc52e pushed by art-w
April 12, 2024 15:17 9m 39s eio
eio
April 12, 2024 15:17 9m 39s
Temporarily disable CI for specific platforms issues coverage #2114: Commit 9d6bafd pushed by art-w
April 12, 2024 15:02 9m 39s eio
eio
April 12, 2024 15:02 9m 39s