#610
83%

Ran 10 Nov 2021 04:16PM UTC

Jobs 1

Files 2349

Run time 9min

Badge

Embed ▾

Committed 10 Nov 2021 01:46PM UTC coverage: 85.803% (+0.007%) from 85.796%

Build # #610

Build Type

push

Committed by

msimberg

Commit Message

Merge #5637

5637: Use bors for merging pull requests r=msimberg a=msimberg

Bors is meant to avoid this problem: https://bors.tech/essay/2017/02/02/pitch/, which happened (again) yesterday.

This will not be very useful until CI actually passes reliably, but I'm starting by setting it up for a subset, i.e. one single GitHub action on Linux that builds and runs the examples (i.e. the current "Linux CI (Debug)" configuration). Eventually all CI should just report to bors, but I'm keeping it separate for now until we get some experience with how well this works.

Co-authored-by: Mikael Simberg <mikael.simberg@iki.fi>

Run Details

162438 of 189315 relevant lines covered (85.8%)

2691993.41 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#610.1	10 Nov 2021 04:16PM UTC	0	85.8

Source Files on build #610

Detailed source file information is not available for this build.

STEllAR-GROUP / hpx / #610
83%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #610

STEllAR-GROUP / hpx / #610 83%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #610

STEllAR-GROUP / hpx / #610
83%

README BADGES
x