Patch certora governance spec#8297

mergify[bot] merged 2 commits into

mastercelo-org/celo-monorepo:masterfrom

yorhodes-patch-2celo-org/celo-monorepo:yorhodes-patch-2Copy head branch name to clipboard