mbarbin
/
provider
100%
|
Repo Added
|
Files
54
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
main
branch: main
CHANGE BRANCH
x
-
main
-
4.14
-
HEAD
-
add-doc
-
add-dunolint
-
assorted-changes
-
ci-eio-tests
-
dependabot/github_actions/actions/checkout-6
-
dependabot/github_actions/actions/checkout-6.0.2
-
dependabot/github_actions/actions/setup-node-5
-
dependabot/github_actions/actions/setup-node-6
-
dependabot/github_actions/actions/upload-pages-artifact-4
-
diataxis
-
expect-tests
-
fix-binding-renaming
-
fix-implements-exn
-
fix-more-ci
-
handler-explicit-tutorial
-
improve-unsafe-cast
-
internal-tests
-
local-stdlib
-
more-ci
-
reduce-deps
-
resolve-brittle-output
-
same-witness
-
transitive-deps-hidden-includes
-
upgrade-actions-checkout
-
upgrade-doc
-
upgrade-docusaurus
-
upgrade-to-ocaml.5.3.0
-
use-mdexp
-
validate-traits
-
with-dev-setup
CHANGE BRANCH
x
-
main
- 4.14
- HEAD
- add-doc
- add-dunolint
- assorted-changes
- ci-eio-tests
- dependabot/github_actions/actions/checkout-6
- dependabot/github_actions/actions/checkout-6.0.2
- dependabot/github_actions/actions/setup-node-5
- dependabot/github_actions/actions/setup-node-6
- dependabot/github_actions/actions/upload-pages-artifact-4
- diataxis
- expect-tests
- fix-binding-renaming
- fix-implements-exn
- fix-more-ci
- handler-explicit-tutorial
- improve-unsafe-cast
- internal-tests
- local-stdlib
- more-ci
- reduce-deps
- resolve-brittle-output
- same-witness
- transitive-deps-hidden-includes
- upgrade-actions-checkout
- upgrade-doc
- upgrade-docusaurus
- upgrade-to-ocaml.5.3.0
- use-mdexp
- validate-traits
- with-dev-setup
coverage: 100.0%. Remained the same
push
github
824 of 824 relevant lines covered (100.0%)
7.99 hits per line
Relevant lines Covered
824
RELEVANT LINES
824
COVERED LINES
7.99
HITS PER LINE
Source Files on main
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 220 | main | Fix some typos | push |  mbarbin |
github |
100.0 |
|
| 219 | main | Prepare file for future 5.5 CI (currently unused) | push | mbarbin |
github |
100.0 |
|
| 218 | main | Upgrade deploy-pages (node 24 warning) | push | mbarbin |
github |
100.0 |
|
| 217 | main | Upgrade CIs | push | mbarbin |
github |
100.0 |
|
| 216 | main | Lint | push | mbarbin |
github |
100.0 |
|
| 215 | main | Merge pull request #53 from mbarbin/resolve-brittle-output Resolve brittle output | push |  web-flow |
github |
100.0 |
|
| 213 | main | Merge pull request #52 from mbarbin/local-stdlib Local stdlib & simplify dependencies | push | web-flow |
github |
100.0 |
|
| 210 | main | Merge pull request #51 from mbarbin/use-mdexp Use mdexp | push | web-flow |
github |
100.0 |
|
| 207 | main | Rename toplevel test dir | push | mbarbin |
github |
100.0 |
|
| 206 | main | Apply fmt changes | push | mbarbin |
github |
100.0 |