#37261
77%

Ran 12 Sep 2022 11:43AM UTC

Jobs 1

Files 386

Run time 15s

Badge

Embed ▾

pending completion

Build # #37261

Build Type

push

local

Committed by

web-flow

Commit Message

use grep instead of the deprecated egrep (#46706)

grep -E is the new (since POSIX) way to use the "extended" regexp.

The latest GNU Grep release complains each time egrep is invoked (egrep
is implemented as just a wrapper script around grep).

See:

https://pubs.opengroup.org/onlinepubs/9699919799/utilities/grep.html

https://www.gnu.org/software/grep/manual/grep.html

Fixes #46649

Run Details

80147 of 85567 relevant lines covered (93.67%)

33207011.85 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#37261.1	12 Sep 2022 11:43AM UTC	0	93.67

Source Files on build #37261

Detailed source file information is not available for this build.

JuliaLang / julia / #37261
77%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #37261

JuliaLang / julia / #37261 77%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #37261

JuliaLang / julia / #37261
77%

README BADGES
x