The jenkins log shows packages being configured out of order:
Preparing to unpack .../initscripts_2.88dsf-41ubuntu6_amd64.deb ...
Unpacking initscripts (2.88dsf-41ubuntu6) over (2.88dsf-41ubuntu3) ...
[...]
dpkg: dependency problems prevent configuration of procps:
procps depends on initscripts; however:
Package initscripts is not configured yet.
The jenkins log shows packages being configured out of order:
Preparing to unpack .../initscripts _2.88dsf- 41ubuntu6_ amd64.deb ...
Unpacking initscripts (2.88dsf-41ubuntu6) over (2.88dsf-41ubuntu3) ...
[...]
dpkg: dependency problems prevent configuration of procps:
procps depends on initscripts; however:
Package initscripts is not configured yet.
dpkg: error processing package procps (--configure):
dependency problems - leaving unconfigured
[...]
So this probably points to an apt bug. Michael, can you take a look?