Closed Drvi closed 9 months ago
Merging #883 (394f150) into master (037a72e) will decrease coverage by
0.02%
. The diff coverage isn/a
.
@@ Coverage Diff @@
## master #883 +/- ##
==========================================
- Coverage 84.28% 84.26% -0.02%
==========================================
Files 3 3
Lines 802 801 -1
==========================================
- Hits 676 675 -1
Misses 126 126
Files | Coverage Δ | |
---|---|---|
src/PackageCompiler.jl | 92.57% <ø> (ø) |
Thanks LGTM. There is indeed probably a better way but let's just fix it for now.
In https://github.com/JuliaLang/julia/pull/51867, the
banner
function moved to theREPL
module, breaking precompilation.Perhaps there is a better way to know whether we are on an official build, but we're trying to resolve this issue to unblock our nightly CI.