Continuous Integration toolchain, powering https://jenkins.softwareheritage.org/
Fri, Nov 30
Consider it closed by c798a041db58
Mon, Nov 19
Tue, Nov 13
Nov 5 2018
The jenkins job that builds the doc seems to run OK and the publish by ssh post-action seems to work also, so we could consider this task as done, however this adds a small regression due to the way this jenkins plugin works (ie. 'rm *' before starting to scp files), there is a 5 to 10s period, when the published content is partial and may result in 404.
Oct 31 2018
Oct 26 2018
Oct 23 2018
I think we went with Jenkins + jenkins-job-builder at this point...