857
7%

Ran 26 Apr 2024 07:18AM UTC

Jobs 1

Files 534

Run time 1min

Badge

Embed ▾

Committed 25 Apr 2024 10:29PM UTC coverage: 6.915%. Remained the same

Build # 857

Build Type

push

github

Committed by

web-flow

Commit Message

Remove action runner commands. (#10456)

Right now this is only a useful feature for Jane Street. Removing it to
avoid adding extra maintenance burden to external Dune. (motivated by

Signed-off-by: Philip White <code@trailingwhite.space>
Co-authored-by: Philip White <code@trailingwhite.space>

Run Details

2903 of 41982 relevant lines covered (6.91%)

27132.91 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	857.1	26 Apr 2024 07:18AM UTC	534	6.91	GitHub Action Run

jchavarri / dune / 857
7%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 857

jchavarri / dune / 857 7%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 857

jchavarri / dune / 857
7%

README BADGES
x