tree fc8254dae053d2acb81bcbb87b69e8f9475561e8
parent dea881f748d692deeab710153faebeeb67764b07
author Bruno Martins <bgcngm@gmail.com> 1607543291 +0000
committer Bruno Martins <bgcngm@gmail.com> 1607732999 +0100

README: Jenkins is dead, so point to its replacement

Change-Id: I4ab2f434b4360eb5ad8552ffc2fcf785aa7cd2c8