mbarbin's Repositories

mbarbin / provider

100%
Build #197:   Stop using default GHA permissions on branch main about 24 hours ago
main: 100%
DEFAULT BRANCH: main

mbarbin / union-find

95%
Build #45:   Improve default settings for GHA permissions on branch main 1 day ago
main: 95%
DEFAULT BRANCH: main

mbarbin / crs

100%
Build #303:   Upgrade setup-dune to v2.0.0 on branch main about 24 hours ago
main: 100%
DEFAULT BRANCH: main

mbarbin / pplumbing

96%
Build #104:   Improve default settings for GHA permissions on branch main about 24 hours ago
main: 96%
DEFAULT BRANCH: main

mbarbin / print-table

100%
Build #37:   Improve default settings for GHA permissions on branch main about 24 hours ago
main: 100%
DEFAULT BRANCH: main

mbarbin / file-rewriter

100%
Build #74:   Improve default settings for GHA permissions on branch main about 24 hours ago
main: 100%
DEFAULT BRANCH: main

mbarbin / dunolint

100%
Build #406:   Improve default settings for GHA permissions on branch main about 19 hours ago
main: 100%
DEFAULT BRANCH: main

mbarbin / loc

100%
Build #121:   Improve default settings for GHA permissions on branch main about 24 hours ago
main: 100%
DEFAULT BRANCH: main

mbarbin / fpath-base

100%
Build #107:   Improve default settings for GHA permissions on branch main about 24 hours ago
main: 100%
DEFAULT BRANCH: main

mbarbin / cmdlang

100%
Build #184:   Improve default settings for GHA permissions on branch main about 24 hours ago
main: 100%
DEFAULT BRANCH: main

mbarbin / fingerboard

92%
Build #126:   Improve default settings for GHA permissions on branch main 1 day ago
main: 92%
DEFAULT BRANCH: main

mbarbin / super-master-mind

88%
Build #198:   Improve default settings for GHA permissions on branch main 1 day ago
main: 88%
DEFAULT BRANCH: main

mbarbin / pp-extended

100%
Build #62:   Improve default settings for GHA permissions on branch main 1 day ago
main: 100%
DEFAULT BRANCH: main

mbarbin / cubzzle

71%
Build #189:   Improve default settings for GHA permissions on branch main 1 day ago
main: 84%
LAST BUILD BRANCH: main
DEFAULT BRANCH: master

mbarbin / catch-the-bunny

100%
Build #172:   Improve default settings for GHA permissions on branch main 1 day ago
main: 100%
DEFAULT BRANCH: main

mbarbin / auto-format

86%
Build #110:   Improve default settings for GHA permissions on branch main 1 day ago
main: 86%
DEFAULT BRANCH: main

mbarbin / vcs

100%
Build #423:   Merge pull request #121 from mbarbin/improve-gha Improve gha on branch main 1 day ago
main: 100%
DEFAULT BRANCH: main

mbarbin / git-pager

92%
Build #51:   Remove workflows merged into more-ci on branch main 8 days ago
main: 92%
DEFAULT BRANCH: main