Skip to content

Actions: mirage/irmin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
559 workflow runs
559 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove irmin-http coverage #1996: Pull request #1902 synchronize by metanivek
August 1, 2023 18:21 12m 54s zshipko:remove-http
zshipko:remove-http
August 1, 2023 18:21 12m 54s
Merge pull request #2262 from Julow/preview-ocamlformat-0.26.0 coverage #1995: Commit 7065c66 pushed by metanivek
August 1, 2023 18:07 14m 19s main
main
August 1, 2023 18:07 14m 19s
Merge pull request #2268 from clecat/remove-io_legacy coverage #1994: Commit 6af19b1 pushed by metanivek
August 1, 2023 18:05 15m 3s main
main
August 1, 2023 18:05 15m 3s
Merge pull request #2266 from clecat/ppidx coverage #1993: Commit c03a74b pushed by metanivek
August 1, 2023 18:05 12m 6s main
main
August 1, 2023 18:05 12m 6s
Merge pull request #2235 from art-w/ao-dict coverage #1992: Commit 0ca20cc pushed by metanivek
August 1, 2023 16:46 11m 28s main
main
August 1, 2023 16:46 11m 28s
Merge pull request #2267 from metanivek/irmin-pack/fix-integrity-chec… coverage #1991: Commit 8f570d4 pushed by metanivek
August 1, 2023 16:24 14m 27s main
main
August 1, 2023 16:24 14m 27s
irmin-pack: remove append-only external flush callback coverage #1990: Pull request #2235 synchronize by art-w
August 1, 2023 08:59 12m 5s art-w:ao-dict
art-w:ao-dict
August 1, 2023 08:59 12m 5s
irmin-pack: remove append-only external flush callback Git Checks #480: Pull request #2235 synchronize by art-w
August 1, 2023 08:59 20s art-w:ao-dict
art-w:ao-dict
August 1, 2023 08:59 20s
irmin-pack: remove append-only external flush callback Changelog check #3977: Pull request #2235 synchronize by art-w
August 1, 2023 08:59 20s art-w:ao-dict
art-w:ao-dict
August 1, 2023 08:59 20s
coverage coverage #1989: Scheduled
July 31, 2023 01:28 15m 19s main
main
July 31, 2023 01:28 15m 19s
irmin-pack-tools: Add base58 support for ppidx Changelog check #3976: Pull request #2266 synchronize by clecat
July 28, 2023 12:54 20s clecat:ppidx
clecat:ppidx
July 28, 2023 12:54 20s
irmin-pack-tools: Add base58 support for ppidx coverage #1988: Pull request #2266 synchronize by clecat
July 28, 2023 12:54 11m 5s clecat:ppidx
clecat:ppidx
July 28, 2023 12:54 11m 5s
irmin-pack-tools: Add base58 support for ppidx Git Checks #479: Pull request #2266 synchronize by clecat
July 28, 2023 12:54 23s clecat:ppidx
clecat:ppidx
July 28, 2023 12:54 23s
irmin-pack-tools: Add base58 support for ppidx Changelog check #3975: Pull request #2266 synchronize by clecat
July 28, 2023 12:51 25s clecat:ppidx
clecat:ppidx
July 28, 2023 12:51 25s
irmin-pack-tools: Add base58 support for ppidx coverage #1987: Pull request #2266 synchronize by clecat
July 28, 2023 12:51 10m 51s clecat:ppidx
clecat:ppidx
July 28, 2023 12:51 10m 51s
irmin-pack-tools: Add base58 support for ppidx Git Checks #478: Pull request #2266 synchronize by clecat
July 28, 2023 12:51 19s clecat:ppidx
clecat:ppidx
July 28, 2023 12:51 19s
irmin-pack-tools: Add base58 support for ppidx Git Checks #477: Pull request #2266 synchronize by clecat
July 28, 2023 12:42 22s clecat:ppidx
clecat:ppidx
July 28, 2023 12:42 22s
irmin-pack-tools: Add base58 support for ppidx coverage #1986: Pull request #2266 synchronize by clecat
July 28, 2023 12:42 11m 55s clecat:ppidx
clecat:ppidx
July 28, 2023 12:42 11m 55s
irmin-pack-tools: Add base58 support for ppidx Changelog check #3974: Pull request #2266 synchronize by clecat
July 28, 2023 12:42 20s clecat:ppidx
clecat:ppidx
July 28, 2023 12:42 20s
irmin-pack: Replace Io_legacy for Io Git Checks #476: Pull request #2268 synchronize by clecat
July 27, 2023 16:29 18s clecat:remove-io_legacy
clecat:remove-io_legacy
July 27, 2023 16:29 18s
irmin-pack: Replace Io_legacy for Io coverage #1985: Pull request #2268 synchronize by clecat
July 27, 2023 16:29 14m 35s clecat:remove-io_legacy
clecat:remove-io_legacy
July 27, 2023 16:29 14m 35s
irmin-pack: Replace Io_legacy for Io Changelog check #3973: Pull request #2268 synchronize by clecat
July 27, 2023 16:29 24s clecat:remove-io_legacy
clecat:remove-io_legacy
July 27, 2023 16:29 24s
irmin-pack: Replace Io_legacy for Io Changelog check #3972: Pull request #2268 labeled by clecat
July 27, 2023 16:27 19s clecat:remove-io_legacy
clecat:remove-io_legacy
July 27, 2023 16:27 19s
irmin-pack: Replace Io_legacy for Io Changelog check #3971: Pull request #2268 opened by clecat
July 27, 2023 16:27 20s clecat:remove-io_legacy
clecat:remove-io_legacy
July 27, 2023 16:27 20s
irmin-pack: Replace Io_legacy for Io Git Checks #475: Pull request #2268 opened by clecat
July 27, 2023 16:27 19s clecat:remove-io_legacy
clecat:remove-io_legacy
July 27, 2023 16:27 19s
ProTip! You can narrow down the results and go further in time using created:<2023-07-27 or the other filters available.