mbarbin
/
pp-extended
100%
|
Repo Added
|
Files
2
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH main
coverage: 100.0%. Remained the same
push
github
68 of 68 relevant lines covered (100.0%)
5.34 hits per line
Relevant lines Covered
68
RELEVANT LINES
68
COVERED LINES
5.34
HITS PER LINE
Source Files on main
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 71 | main | Upgrade ocamlformat to 0.29.0 | push |  mbarbin |
github |
100.0 |
|
| 70 | main | Remove left-over unused var (shellcheck) | push | mbarbin |
github |
100.0 |
|
| 69 | main | Disable dependabot | push | mbarbin |
github |
100.0 |
|
| 68 | main | Upgrade dunolint workflow | push | mbarbin |
github |
100.0 |
|
| 67 | main | Bump setup-dune to v2.0.0+patch-4 and add cache-readonly across repos Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com> | push | mbarbin |
github |
100.0 |
|
| 65 | main | Merge pull request #8 from mbarbin/migrate-main-ci-setup-dune Migrate main ci setup dune | push |  web-flow |
github |
100.0 |
|
| 62 | main | Improve default settings for GHA permissions | push | mbarbin |
github |
100.0 |
|
| 61 | main | Set more-ci default shell to bash | push | mbarbin |
github |
100.0 |
|
| 60 | main | Define CI packages in an environment section | push | mbarbin |
github |
100.0 |
|
| 58 | main | Lint | push | mbarbin |
github |
100.0 |