[Certora] Move CI to certora-cli-beta#339

QGarchery merged 1 commit intocertora/devmorpho-org/morpho-blue:certora/devfrom

certora/ci-betamorpho-org/morpho-blue:certora/ci-betaCopy head branch name to clipboard