Skip to content

Actions: mirage/irmin

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
241 workflow runs
241 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #2334 from christinerose/edit_irmin-pack-readme
coverage #2203: Commit f5c07f9 pushed by art-w
September 19, 2024 09:07 8m 44s main
September 19, 2024 09:07 8m 44s
Merge pull request #2338 from christinerose/edit_conduct
coverage #2202: Commit f93ae93 pushed by art-w
September 19, 2024 09:06 8m 27s main
September 19, 2024 09:06 8m 27s
Merge pull request #2339 from christinerose/edit_contributing
coverage #2201: Commit acc3af7 pushed by art-w
September 19, 2024 09:06 8m 49s main
September 19, 2024 09:06 8m 49s
Merge pull request #2340 from christinerose/edit_readme-libirmin
coverage #2200: Commit 5d90c83 pushed by art-w
September 19, 2024 09:06 8m 29s main
September 19, 2024 09:06 8m 29s
Merge pull request #2341 from christinerose/edit_readme-ppx
coverage #2199: Commit c657e87 pushed by art-w
September 19, 2024 09:05 8m 26s main
September 19, 2024 09:05 8m 26s
Merge pull request #2342 from christinerose/edit_release
coverage #2198: Commit 4a38c56 pushed by art-w
September 19, 2024 09:05 8m 26s main
September 19, 2024 09:05 8m 26s
Merge pull request #2329 from art-w/git-ca-type
coverage #2197: Commit d5f5245 pushed by art-w
September 19, 2024 09:00 12m 12s main
September 19, 2024 09:00 12m 12s
Merge pull request #2337 from clecat/fix_rng
coverage #2196: Commit 2f2ad48 pushed by art-w
September 18, 2024 16:22 8m 43s main
September 18, 2024 16:22 8m 43s
Integrate eio watcher
coverage #2195: Pull request #2336 opened by clecat
September 18, 2024 13:15 15m 32s clecat:integrate-eio-watcher
September 18, 2024 13:15 15m 32s
coverage
coverage #2194: Scheduled
September 16, 2024 01:28 8m 59s main
September 16, 2024 01:28 8m 59s
Merge pull request #2326 from zazedd/main
coverage #2193: Commit 675f08f pushed by art-w
September 10, 2024 10:26 9m 3s main
September 10, 2024 10:26 9m 3s
Merge pull request #2327 from art-w/fix-sync-example
coverage #2192: Commit 6024141 pushed by art-w
September 9, 2024 12:03 8m 50s main
September 9, 2024 12:03 8m 50s
coverage
coverage #2191: Scheduled
September 9, 2024 01:28 9m 28s main
September 9, 2024 01:28 9m 28s
Merge pull request #2325 from christinerose/line-edit_README
coverage #2190: Commit b1db6c3 pushed by art-w
September 6, 2024 14:52 9m 0s main
September 6, 2024 14:52 9m 0s
Merge pull request #2324 from christinerose/line-edit_irmin-pack_index
coverage #2189: Commit afb0879 pushed by art-w
September 6, 2024 14:48 8m 38s main
September 6, 2024 14:48 8m 38s
Merge pull request #2323 from christinerose/line-edit_index
coverage #2188: Commit 418b98d pushed by art-w
September 6, 2024 14:48 8m 53s main
September 6, 2024 14:48 8m 53s
Merge pull request #2330 from mirage/dependabot/github_actions/ocaml/…
coverage #2187: Commit 2720ffb pushed by art-w
September 6, 2024 14:36 12m 4s main
September 6, 2024 14:36 12m 4s
Merge pull request #2321 from smorimoto/update-actions
coverage #2186: Commit feb5b18 pushed by art-w
September 6, 2024 13:38 13m 9s main
September 6, 2024 13:38 13m 9s
irmin-git: expose Content_addressable type
coverage #2185: Pull request #2329 opened by art-w
September 3, 2024 12:57 6h 0m 25s art-w:git-ca-type
September 3, 2024 12:57 6h 0m 25s
coverage
coverage #2184: Scheduled
September 2, 2024 01:28 6h 0m 23s main
September 2, 2024 01:28 6h 0m 23s
Fix root path issue with Irmin-git, and remove allow_duplicate for root spec key
coverage #2183: Pull request #2326 synchronize by zazedd
August 30, 2024 12:55 6h 0m 23s zazedd:main
August 30, 2024 12:55 6h 0m 23s
Merge pull request #2322 from samoht/fix-tests-on-macos
coverage #2182: Commit 775612c pushed by art-w
August 30, 2024 12:26 6h 0m 23s main
August 30, 2024 12:26 6h 0m 23s
irmin-git: fix sync example, initialize mirage-crypto-rng
coverage #2181: Pull request #2327 opened by art-w
August 30, 2024 12:17 6h 0m 24s art-w:fix-sync-example
August 30, 2024 12:17 6h 0m 24s
Fix root path issue with Irmin-git, and remove allow_duplicate for root spec key
coverage #2180: Pull request #2326 opened by zazedd
August 29, 2024 13:46 6h 0m 22s zazedd:main
August 29, 2024 13:46 6h 0m 22s
Line Editing for Index
coverage #2179: Pull request #2323 synchronize by christinerose
August 29, 2024 11:27 6h 0m 24s christinerose:line-edit_index
August 29, 2024 11:27 6h 0m 24s