On Sun, 23 Dec 2018, 3:03 p.m. Chris Lamb <la...@debian.org wrote: > I'm afraid I'm a little lost in the detail here. However, you appear > to have closed this bug but the last test run on Jenkins is still from > November (despite multiple pushes this morning): >
I haven't manually triggered the job. I expect any new push that temporarely happened after I closed this bug to be able to correctly trigger it, however I don't see any. What am I missing? Should I re-open this bug? :) > If you try to push something it should just work again. Sorry for being unclear on what perhaps is the most interesting detail! `