Closed ulrikstrid closed 2 years ago
Merging #41 (c120f63) into master (07045db) will not change coverage. The diff coverage is
88.88%
.:exclamation: Current head c120f63 differs from pull request most recent head 68ea37f. Consider uploading reports for the commit 68ea37f to get more accurate results
@@ Coverage Diff @@
## master #41 +/- ##
=======================================
Coverage 76.10% 76.10%
=======================================
Files 8 8
Lines 770 770
=======================================
Hits 586 586
Misses 184 184
Impacted Files | Coverage Δ | |
---|---|---|
jose/Utils.ml | 70.58% <ø> (ø) |
|
jose/Header.ml | 91.89% <77.77%> (ø) |
|
jose/Jwk.ml | 72.37% <83.82%> (ø) |
|
jose/Jwt.ml | 78.78% <90.00%> (ø) |
|
jose/Jwe.ml | 85.84% <100.00%> (ø) |
|
jose/Jwks.ml | 90.00% <100.00%> (ø) |
|
jose/Jws.ml | 74.75% <100.00%> (ø) |
:mega: Codecov can now indicate which changes are the most critical in Pull Requests. Learn more
Windows is broken before it even starts building the library, going to merge this
RResult
etc toU_Result
etc to not clash with theresult' and
rresult` package