add genreport.md to EXTRA_DIST

4 jobs for master in 1 minute and 13 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #154048
docker linux
build:centos:centos7:amd64

00:00:31

passed #154049
docker linux
build:debian:sid:amd64

00:00:34

 
  Test
passed #154050
docker linux
test:centos:centos7:amd64

00:00:38

passed #154051
docker linux
test:debian:sid:amd64

00:00:38