|
Repo Added
|
Files
216
|
Badge
README BADGES
|
push
github
127 of 127 new or added lines in 8 files covered. (100.0%)
3746 of 3746 relevant lines covered (100.0%)
36.7 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 426 | main | Merge pull request #122 from mbarbin/rm-astring-and-to-dyn-test Refactor astring dependencies in stdlib and start using dyn | push | github |
100.0 |
||
| 424 | main | Upgrade crs-actions to v1.0.0-alpha.9 | push | github |
100.0 |
||
| 423 | main | Merge pull request #121 from mbarbin/improve-gha Improve gha | push | github |
100.0 |
||
| 421 | main | Set more-ci default shell to bash | push | github |
100.0 |
||
| 420 | main | Remove workflow merged into more-ci | push | github |
100.0 |
||
| 419 | main | Lint | push | github |
100.0 |
||
| 416 | main | Add Dyn and Ordering as standard deps | push | github |
100.0 |
||
| 414 | main | Merge pull request #118 from mbarbin/initiate-local-stdlib Initiate local stdlib | push | github |
100.0 |
||
| 412 | main | Merge pull request #117 from mbarbin/improve-dune-deps-org Improve dune deps org | push | github |
100.0 |
||
| 409 | main | Update changelog | push | github |
100.0 |