Repo Added
|
Files
4
|
Badge
README BADGES
|
push
github
199 of 199 relevant lines covered (100.0%)
213441.41 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
124 | main | Apply headache.sh | push | github |
100.0 |
||
123 | main | Merge pull request #10 from mbarbin/setup-dune-test-cache Enable testing of [setup-dune/cache] | push | github |
100.0 |
||
119 | main | Upgrade actions/checkout | push | github |
100.0 |
||
118 | main | Sync workflow with external template | push | github |
100.0 |
||
117 | main | Merge pull request #8 from mbarbin/setup-dune-automagic Enable setup-dune workflow (experimental) | push | github |
100.0 |
||
113 | main | Require dune.3.20 | push | github |
100.0 |
||
112 | main | Configure ppx_js_style to allow let operators | push | github |
100.0 |
||
86 | main | Add dev package | push | github |
100.0 |
||
79 | main | Update dependencies - Remove upper bound by default unless there is a known build issue; - Update some libraries to the latest published package on public opam-repository to faciliate maintenance. | push | github |
100.0 |
||
77 | main | Prepare changelog | push | github |
100.0 |