[doc] Serve the DOI badge image from shields.io #128
Wentzellbuild_unstable_doc.yml
on: push
build
13m 50s
doc index
/
regenerate root index.html
31s