#37376
77%

Ran 20 Dec 2022 11:43AM UTC

Jobs 1

Files 385

Run time 16s

Badge

Embed ▾

pending completion

Build # #37376

Build Type

push

local

Committed by

web-flow

Commit Message

allow external lattice to provide its own field-merge implementation (#47910)

When merging `PartialStruct`, we are currently merging their fields a
bit aggressively (#44404) in order to accelerate (or rather, guarantee) convergence.
However, when `PartialStruct` wraps external lattice elements, this can
be too aggressive since it does not use `tmerge(𝕃, fields...)` recursively
and thus the external lattice elements are not merged as expected.

This commit adds an additional lattice hook, `tmerge_field`, inside
`tmerge(::PartialsLattice)` so that external lattice implementation
can provide its own field-merge strategies.

Run Details

80302 of 86504 relevant lines covered (92.83%)

20912691.16 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#37376.1	20 Dec 2022 11:43AM UTC	0	92.83

Source Files on build #37376

Detailed source file information is not available for this build.

JuliaLang / julia / #37376
77%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #37376

JuliaLang / julia / #37376 77%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #37376

JuliaLang / julia / #37376
77%

README BADGES
x