Skip to content

Actions: mirage/irmin

All workflows

Actions

Loading...

Showing runs from all workflows
712 workflow runs
712 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

[RFC]: Convert to direct-style with Eio
Git Checks #550: Pull request #2149 synchronize by art-w
May 6, 2024 16:55 16s patricoferris:direct-style
[RFC]: Convert to direct-style with Eio
Git Checks #549: Pull request #2149 synchronize by art-w
May 6, 2024 16:42 17s patricoferris:direct-style
[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
Changelog check #4030: Pull request #2149 synchronize by art-w
May 6, 2024 16:42 18s patricoferris:direct-style
[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
[RFC]: Convert to direct-style with Eio
Changelog check #4029: Pull request #2149 synchronize by art-w
May 6, 2024 15:48 20s patricoferris:direct-style
[RFC]: Convert to direct-style with Eio
Git Checks #548: Pull request #2149 synchronize by art-w
May 6, 2024 15:48 19s patricoferris:direct-style
[RFC]: Convert to direct-style with Eio
Changelog check #4028: Pull request #2149 synchronize by art-w
May 6, 2024 15:00 23s patricoferris:direct-style
[RFC]: Convert to direct-style with Eio
Git Checks #547: Pull request #2149 synchronize by art-w
May 6, 2024 15:00 24s patricoferris:direct-style
[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
May 6, 2024 15:00 13m 15s
coverage
coverage #2125: Scheduled
May 6, 2024 01:25 11m 10s main
May 6, 2024 01:25 11m 10s
coverage
coverage #2124: Scheduled
April 29, 2024 01:24 6h 0m 23s main
April 29, 2024 01:24 6h 0m 23s
coverage
coverage #2123: Scheduled
April 22, 2024 01:25 9m 28s main
April 22, 2024 01:25 9m 28s
coverage
coverage #2122: Scheduled
April 15, 2024 02:44 9m 25s 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
Temporarily disable CI for specific platforms issues
coverage #2113: Commit 6f8a38c pushed by art-w
April 12, 2024 14:19 9m 26s eio
eio
April 12, 2024 14:19 9m 26s
Temporarily disable CI for specific platforms issues
coverage #2112: Commit df42a70 pushed by art-w
April 12, 2024 13:50 9m 11s eio
eio
April 12, 2024 13:50 9m 11s
Temporarily disable CI for specific platforms issues
coverage #2111: Commit e7ae39e pushed by art-w
April 12, 2024 13:36 9m 14s eio
eio
April 12, 2024 13:36 9m 14s