Closed Keno closed 9 months ago
Merging #592 (96bf6d5) into master (6da0b26) will decrease coverage by
0.09%
. Report is 1 commits behind head on master. The diff coverage is63.63%
.
@@ Coverage Diff @@
## master #592 +/- ##
==========================================
- Coverage 86.63% 86.55% -0.09%
==========================================
Files 12 12
Lines 2537 2543 +6
==========================================
+ Hits 2198 2201 +3
- Misses 339 342 +3
Files | Coverage Δ | |
---|---|---|
src/interpret.jl | 79.02% <63.63%> (-0.42%) |
:arrow_down: |
We've observed the intermittent errors in the v1 and nightly CI, which we're aware of but haven't investigated into yet. Given this, I think we can just proceed with merging this PR.
See https://github.com/JuliaLang/julia/pull/51590.