mbarbin
/
pp-extended
100%
|
Repo Added
|
Files
2
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH main
coverage: 100.0%. Remained the same
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 |
|---|---|---|---|---|---|---|---|
| 75 | main | Enable 5.5 in CI | push |  mbarbin |
github |
100.0 |
|
| 74 | main | Prepare file for future 5.5 CI (currently unused) | push | mbarbin |
github |
100.0 |
|
| 73 | main | Upgrade deploy-pages (node 24 warning) | push | mbarbin |
github |
100.0 |
|
| 72 | main | Upgrade CIs | push | mbarbin |
github |
100.0 |
|
| 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 |