mbarbin's Repositories
Build #62:
Merge pull request #17 from mbarbin/ci-upgrades
Ci upgrades
on branch main
2 days ago
main: 92%
mbarbin / nofunc-keyed
98%
Build #40:
Add empty package whose name matches the project
- I see some errors during internal `...
on branch main
2 days ago
main: 98%
mbarbin / file-rewriter
100%
Build #81:
Merge 3036e790237ac673a971fcf65a8907891fd74fea into 449c3ac26f21e4c07ced0185f9d7e3843dc...
on branch dependabot/github_actions/actions/checkout-6.0.2
3 days ago
dependabot/github_actions/actions/checkout-6.0.2: 100%
Build #198:
Upgrade dunolint workflow
on branch main
4 days ago
main: 100%
Build #476:
Upgrade dunolint workflow
on branch main
3 days ago
main: 100%
Build #334:
Upgrade dunolint workflow
on branch main
4 days ago
main: 100%
Build #202:
Upgrade dunolint workflow
on branch main
4 days ago
main: 100%
mbarbin / super-master-mind
88%
Build #228:
Bump setup-dune to v2.0.0+patch-4 and add cache-readonly across repos
Co-Authored-By: ...
on branch main
4 days ago
main: 88%
mbarbin / print-table
100%
Build #52:
Upgrade dunolint workflow
on branch main
4 days ago
main: 100%
Build #113:
Upgrade dunolint workflow
on branch main
4 days ago
main: 96%
Build #134:
Merge b5107518050f9304e309d1ba7a34695c927e0316 into 256d683e599fb35204b1331bc124944dc1a...
on branch dependabot/github_actions/actions/checkout-6.0.2
4 days ago
dependabot/github_actions/actions/checkout-6.0.2: 100%
mbarbin / fingerboard
92%
Build #133:
Upgrade dunolint workflow
on branch main
4 days ago
main: 92%
mbarbin / pp-extended
100%
Build #68:
Upgrade dunolint workflow
on branch main
4 days ago
main: 100%
mbarbin / fpath-base
100%
Build #116:
Upgrade dunolint workflow
on branch main
4 days ago
main: 100%
mbarbin / catch-the-bunny
100%
Build #180:
Upgrade dunolint workflow
on branch main
4 days ago
main: 100%
Build #442:
Update crs-config.json and crs.yml to crs version 0.0.20260202
Co-Authored-By: Claude ...
on branch main
4 days ago
main: 100%
mbarbin / auto-format
86%
Build #121:
Upgrade dunolint workflow
on branch main
4 days ago
main: 86%
mbarbin / union-find
95%
Build #48:
Remove root dune-workspace file
Only the versioned files are used by the CI
on branch main
20 days ago
main: 95%