certora

Explicitly Request Required PR Permission for CLA Bot #332

Sign in to view logs

Triggered via pull request November 9, 2023 15:48

nlordell

synchronize #692

change-cla-permissions

Status Success

Total duration 43m 35s

Artifacts –

certora.yml

on: pull_request

Matrix: verify