tree ac91c04589ac7ba138af291c7807ff4282200b8f
parent 8f0028de4ee89945b97c31734cda7e18428469f9
author Davide Pesavento <davidepesa@gmail.com> 1628883654 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1628883654 -0400

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

Change-Id: Ia7e254eefb6658aa5110a7fea5a6847cb257a84b