tree 561ea0020aa5c3fa39a34701fcda47e49f0f9a6a
parent 2ba7e3b84defd83c39641f6d6832dbcd1fa329bf
author David Ostrovsky <david@ostrovsky.org> 1610878558 +0100
committer David Ostrovsky <david.ostrovsky@gmail.com> 1610887044 +0000

Fix jenkins docker image name

Change-Id: I8b8673014cca53b4c002d4e3dedee97036f74c11