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 |
|---|---|---|---|---|---|---|---|
| 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 |
|
| 66 | dependabot/github_actions/actions/checkout-6.0.2 | Merge 60ee6685c into 1bf9c68ae | Pull #7 | web-flow |
github |
100.0 |
|
| 64 | migrate-main-ci-setup-dune | Merge aa9b33f51 into 1613c9d68 | Pull #8 | web-flow |
github |
100.0 |
|
| 63 | dependabot/github_actions/actions/checkout-6.0.2 | Merge 1cf57869a into 1613c9d68 | Pull #7 | 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 |