Continuous Integration toolchain, powering https://jenkins.softwareheritage.org/
Wed, Feb 20
Seems to be fixed since 2019-02-12.
Jan 9 2019
https://jenkins.softwareheritage.org/view/Debian%20packages/ is a (shitty) dashboard view of the jenkins jobs.
Dec 14 2018
Dec 13 2018
Nov 30 2018
Consider it closed by c798a041db58
Nov 19 2018
Nov 13 2018
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...