mbarbin's Repositories
mbarbin / super-master-mind
96%
Build #171:
Merge pull request #31 from mbarbin/use-site
Use dune site for the opening book
on branch main
3 days ago
main: 96%
mbarbin / catch-the-bunny
100%
Build #134:
Merge pull request #14 from mbarbin/reduce-deps
Reduce deps
on branch main
3 days ago
main: 100%
Build #163:
Merge pull request #20 from mbarbin/reduce-deps
Reduce deps
on branch main
3 days ago
main: 84%
Build #402:
Merge 30f207285ee6203a72ff565fa8a8dc7bf6f706cf into fbd9e5462e8f89d6e4b3cbc2101a7a453ed...
on branch dependabot/github_actions/softprops/action-gh-release-2.5.0
4 days ago
dependabot/github_actions/softprops/action-gh-release-2.5.0: 100%
Build #185:
Merge 43600ae88f17033375d99b2c7eff340dcd3c9d8e into eaf1bea4681035816fa67c58881c89f9c23...
on branch dependabot/github_actions/actions/setup-node-6
4 days ago
dependabot/github_actions/actions/setup-node-6: 100%
Build #93:
Merge 8a5a5f1849d30678e93ff5a2e000bc84595a24ff into 116208765843d398fe4ab9d6ce56c18fa77...
on branch dependabot/github_actions/actions/checkout-6
5 days ago
dependabot/github_actions/actions/checkout-6: 96%
Build #157:
Merge aec0d6d9f09dcfe630598bdb64b63bbd1e14678e into 1dd00bff53e2cec3c9e22f0091cd1481c82...
on branch dependabot/github_actions/actions/checkout-6
5 days ago
dependabot/github_actions/actions/checkout-6: 100%
mbarbin / union-find
95%
Build #40:
Merge acd5cc94d6610f5eef3d8cdb85727d0bab957145 into 4ca33622c7e109f8e707fee1eeda20dd76d...
on branch dependabot/github_actions/actions/checkout-6
5 days ago
dependabot/github_actions/actions/checkout-6: 95%
Build #338:
Merge c18e132ac3caf99d677a8ff35f715bef110a3c80 into c628d14f8c1318cb21ff2772528774f145a...
on branch dependabot/github_actions/softprops/action-gh-release-2.5.0
5 days ago
dependabot/github_actions/softprops/action-gh-release-2.5.0: 100%
mbarbin / file-rewriter
100%
Build #61:
Merge 4d220aaedc0d0e61a26c3ec50f6089c423d3797d into 4cce21ffc586be394937d8bf0bdb646e12c...
on branch dependabot/github_actions/actions/checkout-6
5 days ago
dependabot/github_actions/actions/checkout-6: 100%
mbarbin / fingerboard
96%
Build #110:
Merge 73175c79f3db964ee15a0043775777f9ca65a34d into 517a86fe3853e0d080212ed4046ce18c16a...
on branch dependabot/github_actions/actions/checkout-6
5 days ago
dependabot/github_actions/actions/checkout-6: 96%
mbarbin / fpath-base
100%
Build #86:
Merge 478ef71614a7e813d1769b93b9aa3e84ab394dcc into 126d8bd35e710dd71b8c946cae485fa1d5d...
on branch dependabot/github_actions/actions/checkout-6
5 days ago
dependabot/github_actions/actions/checkout-6: 100%
Build #101:
Merge f1aca1d63f04a1057d863acca88d18dcd7069221 into ef0de2be63484bbd8ce07c57c9406428bb9...
on branch dependabot/github_actions/actions/checkout-6
5 days ago
dependabot/github_actions/actions/checkout-6: 100%
Build #40:
Merge 9484a032ac1a297955b68aa4ab95da7dd41f4686 into 4c5fcc1071d141483a2361211d46eb6cbc1...
on branch dependabot/github_actions/actions/checkout-6
5 days ago
dependabot/github_actions/actions/checkout-6: 91%
Build #271:
Merge 2305cab2639f60b1cd17e50bf175ae370b4a76c3 into 61908d7e97657cbbb84a34e22d67071b3ea...
on branch dependabot/github_actions/softprops/action-gh-release-2.4.2
5 days ago
dependabot/github_actions/softprops/action-gh-release-2.4.2: 100%
mbarbin / print-table
100%
Build #14:
Merge pull request #4 from mbarbin/rm-unused-sexp-deps
Remove unused sexp deps
on branch main
29 days ago
main: 100%
mbarbin / pp-extended
100%
Build #48:
Merge pull request #3 from mbarbin/ocaml-5.4-in-ci
OCaml 5.4 in ci
on branch main
about 1 month ago
main: 100%