1
77%
master: 77%

Ran 17 Jun 2023 12:11PM UTC

Files 348

Run time 10s

Badge

Embed ▾

Committed 17 Jun 2023 12:11PM UTC coverage: 86.941% (-0.9%) from 87.881%

Job # #37572.1

Build Type

push

local

Committed by

web-flow

Commit Message

Improve effects for Base.fieldindex (#50199)

Split out the error path into a function with separate effects assumptions,
so that constant propagation on `err` can conclude that the `err=false` case
does not throw. Fixes #50198.

Run Details

73199 of 84194 relevant lines covered (86.94%)

33380304.55 hits per line

JuliaLang / julia / #37572 / 1
77%
master: 77%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #37572.1

JuliaLang / julia / #37572 / 1 77% master: 77%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #37572.1

JuliaLang / julia / #37572 / 1
77%
master: 77%

README BADGES
x