355
63%
master: 56%

Ran 29 Sep 2023 11:04AM UTC

Jobs 1

Files 57

Run time 3s

Badge

Embed ▾

Committed 29 Sep 2023 10:49AM UTC coverage: 63.256%. First build

Build # 355

Build Type

push

github

Committed by

panglesd

Commit Message

benchmark: review comments

- Make multiple runs of benchmark actually run.
- Fix non-existent driver-benchmarks.json by adopting a simpler
  approach: instead of outputing in a file, then promoting, then running
  `cat`, we just output in the standard output.

Signed-off-by: Paul-Elliot <peada@free.fr>

Run Details

3858 of 6099 relevant lines covered (63.26%)

1584.67 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	355.1	29 Sep 2023 11:04AM UTC	0	63.26	GitHub Action Run

Source Files on build 355

Detailed source file information is not available for this build.

panglesd / odoc / 355
63%
master: 56%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 355

panglesd / odoc / 355 63% master: 56%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 355

panglesd / odoc / 355
63%
master: 56%

README BADGES
x