commit | b9752fc0ba18bca605075558954d0570b04993b3 | [log] [tgz] |
---|---|---|
author | Bruno Martins <bgcngm@gmail.com> | Wed Dec 09 19:48:11 2020 +0000 |
committer | Bruno Martins <bgcngm@gmail.com> | Sat Dec 12 01:29:59 2020 +0100 |
tree | fc8254dae053d2acb81bcbb87b69e8f9475561e8 | |
parent | dea881f748d692deeab710153faebeeb67764b07 [diff] |
README: Jenkins is dead, so point to its replacement Change-Id: I4ab2f434b4360eb5ad8552ffc2fcf785aa7cd2c8