Skip to content

WIP: include uploading doc to yade-dem.org CI

bchareyre requested to merge uploaddoc into master

If this works we can switch back to yade-dem.org for the html. Do we want to also keep gitlab-io pages as a fallback mirror?

Edited by bchareyre

Merge request reports