jenkins: stop pushing docs to TRIQS.github.io #67
build_release.yml
on: push
build
13m 43s
doc index
/
regenerate root index.html
20s