tree a0b39d11dad6d256744d3a4173e9b3d6bb646960
parent f8d9a531dd6c56207f6b2b58df881b4fe2703e60
author Davide Pesavento <davidepesa@gmail.com> 1628911025 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1628911025 -0400

ci: restrict token permissions and add badges to README.md

Change-Id: I057fab1370f4f3941bf3fe1de9c6d99198e3bd71