Info updated!
mbarbin
/
print-table
100%
|
Repo Added
|
Build
67
Last
|
Files
11
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
main
branch: SELECT
CHANGE BRANCH
x
-
No branch selected
-
add-styles
-
dependabot/github_actions/actions/checkout-5
-
dependabot/github_actions/actions/checkout-6.0.2
-
dependabot/github_actions/actions/upload-pages-artifact-4
-
dependabot/github_actions/reviewdog/action-setup-1.5.0
-
dunolint-workflow
-
main
-
migrate-main-ci-setup-dune
-
pkg-directory-structure
-
prepare-setup-dune-migration
-
reduce-deps
-
rm-unused-sexp-deps
-
setup-dune-more-ci
-
test-new-crs-actions
-
upgrade-ci-deps
-
use-mdexp
CHANGE BRANCH
x
-
No branch selected
- add-styles
- dependabot/github_actions/actions/checkout-5
- dependabot/github_actions/actions/checkout-6.0.2
- dependabot/github_actions/actions/upload-pages-artifact-4
- dependabot/github_actions/reviewdog/action-setup-1.5.0
- dunolint-workflow
- main
- migrate-main-ci-setup-dune
- pkg-directory-structure
- prepare-setup-dune-migration
- reduce-deps
- rm-unused-sexp-deps
- setup-dune-more-ci
- test-new-crs-actions
- upgrade-ci-deps
- use-mdexp
coverage: 100.0%. Remained the same
push
github
257 of 257 relevant lines covered (100.0%)
13.09 hits per line
Relevant lines Covered
257
RELEVANT LINES
257
COVERED LINES
13.09
HITS PER LINE
Source Files on main
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 69 | main | Prepare file for future 5.5 CI (currently unused) | push |  mbarbin |
github |
100.0 |
|
| 68 | main | Upgrade deploy-pages (node 24 warning) | push | mbarbin |
github |
100.0 |
|
| 67 | main | Upgrade CIs | push | mbarbin |
github |
100.0 |
|
| 66 | main | Lint | push | mbarbin |
github |
100.0 |
|
| 65 | main | Add mli for root file | push | mbarbin |
github |
100.0 |
|
| 64 | main | Merge pull request #16 from mbarbin/use-mdexp Add experimental README with mdexp flow | push |  web-flow |
github |
100.0 |
|
| 63 | use-mdexp | Merge 47882989e into 46d94ec6f | Pull #16 | web-flow |
github |
100.0 |
|
| 62 | use-mdexp | Merge c6549597b into 46d94ec6f | Pull #16 | web-flow |
github |
100.0 |
|
| 61 | use-mdexp | Merge 6f2fd3a3d into 46d94ec6f | Pull #16 | web-flow |
github |
100.0 |
|
| 60 | main | Apply fmt changes | push | mbarbin |
github |
100.0 |
 |
Badge your Repo: print-tableWe detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message. |
|
Embed ▾
Refresh
README BADGES
|