mbarbin's Repositories
mbarbin / auto-format
86%
Build #106:
Merge pull request #15 from mbarbin/myconf-example
Add example (myconf)
on branch main
1 day ago
main: 86%
mbarbin / pp-extended
100%
Build #57:
Initiate codeowners file for gh
on branch main
1 day ago
main: 100%
mbarbin / catch-the-bunny
100%
Build #162:
Initiate codeowners file for gh
on branch main
1 day ago
main: 100%
Build #189:
Merge f0dfa6d520717111d26b1a066672cc7bb6cf9e0c into bd1a94fc662a3e9833641fb1de027d5b92e...
on branch add-dunolint
3 days ago
add-dunolint: 100%
Build #416:
Add Dyn and Ordering as standard deps
on branch main
3 days ago
main: 100%
mbarbin / fingerboard
92%
Build #122:
Edit changelog
on branch main
3 days ago
main: 92%
Build #100:
Edit changelog
on branch main
3 days ago
main: 96%
Build #353:
Update changelog
on branch main
3 days ago
main: 100%
mbarbin / fpath-base
100%
Build #97:
Update changelog
on branch main
3 days ago
main: 100%
mbarbin / file-rewriter
100%
Build #70:
Edit changelog
on branch main
3 days ago
main: 100%
Build #298:
Merge pull request #112 from mbarbin/test-dependabot-user-handle
Add tests for dependa...
on branch main
3 days ago
main: 100%
Build #49:
Upgrade actions/checkout
on branch main
4 days ago
main: 92%
mbarbin / print-table
100%
Build #22:
Upgrade actions/checkout to v6 in CI
on branch main
6 days ago
main: 100%
Build #113:
Fix pr link
on branch main
5 days ago
main: 100%
mbarbin / union-find
95%
Build #41:
Upgrade actions/checkout to v6 in CI
on branch main
6 days ago
main: 95%
mbarbin / super-master-mind
88%
Build #194:
Upgrade actions/checkout to v6 in CI
on branch main
6 days ago
main: 88%
Build #164:
Upgrade actions/checkout to v6 in CI
on branch main
6 days ago
main: 100%
Build #170:
Merge cf76f99ac1896c35b2b5e6f504f071e19a2cf242 into 0b52a39072338bb80c1891e2b9e0b08c4fb...
on branch test-setup-dune-repkg
10 days ago
test-setup-dune-repkg: 84%