3008
4%

Ran 16 Jul 2019 03:17PM UTC

Jobs 1

Files 0

Run time –

Badge

Build # 3008

Build Type

push

travis-ci

Committed by

Commit Message

etc/ci.sh: rely on 'make manuals' exit code

... instead of hardcoding the number of manuals, and grepping for it.

Run Details

ID	Job ID	Ran	Files	Coverage
17	3008.17 (TEST_SUITE=makemanuals)	16 Jul 2019 03:17PM UTC	0		Travis Job 3008.17

Detailed source file information is not available for this build.