mbarbin
/
super-master-mind
88%
|
Repo Added
|
Files
33
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
main
branch: SELECT
CHANGE BRANCH
x
-
No branch selected
-
0.0.3-preview
-
HEAD
-
add-dev-opam-pkg
-
cmdlang
-
commandlang
-
dependabot/github_actions/actions/checkout-6
-
dependabot/github_actions/actions/upload-pages-artifact-4
-
expect-tests
-
import-dune-12982
-
init-dunolint
-
json-opening
-
main
-
master
-
ocaml-5.4-in-ci
-
ordering-compare
-
pkg-directory-structure
-
pplumbing
-
prepare-ordering
-
prepare-stdlib
-
progress-bar.2
-
remove-direct-base-dep
-
test-opening-book-compute
-
use-site
-
vendor-dyn
CHANGE BRANCH
x
-
No branch selected
- 0.0.3-preview
- HEAD
- add-dev-opam-pkg
- cmdlang
- commandlang
- dependabot/github_actions/actions/checkout-6
- dependabot/github_actions/actions/upload-pages-artifact-4
- expect-tests
- import-dune-12982
- init-dunolint
- json-opening
- main
- master
- ocaml-5.4-in-ci
- ordering-compare
- pkg-directory-structure
- pplumbing
- prepare-ordering
- prepare-stdlib
- progress-bar.2
- remove-direct-base-dep
- test-opening-book-compute
- use-site
- vendor-dyn
coverage: 88.332%. Remained the same
push
github
1075 of 1217 relevant lines covered (88.33%)
2763849.68 hits per line
Relevant lines Covered
1217
RELEVANT LINES
1075
COVERED LINES
2763849.68
HITS PER LINE
Source Files on main
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 198 | main | Improve default settings for GHA permissions | push |  mbarbin |
github |
88.33 |
|
| 197 | main | Set more-ci default shell to bash | push | mbarbin |
github |
88.33 |
|
| 196 | main | Prepare dune-workspace files for CI workflows | push | mbarbin |
github |
88.33 |
|
| 195 | main | Remove Sites.mli header exn | push | mbarbin |
github |
88.33 |
|
| 194 | main | Upgrade actions/checkout to v6 in CI | push | mbarbin |
github |
88.33 |
|
| 193 | main | Ignore CRs in this vendored module | push | mbarbin |
github |
88.33 |
|
| 192 | main | Merge pull request #38 from mbarbin/prepare-ordering Prepare ordering | push |  web-flow |
github |
88.33 |
|
| 191 | prepare-ordering | Merge b9552a8d3 into 727966867 | Pull #38 | web-flow |
github |
88.33 |
|
| 190 | main | Merge pull request #37 from mbarbin/prepare-stdlib Preparatory changes to reduce deps further | push | web-flow |
github |
88.45 |
|
| 189 | prepare-stdlib | Merge 2aeadd138 into 8112b8896 | Pull #37 | web-flow |
github |
88.45 |