Check owners list consistency #1320

Sign in to view logs

Triggered via pull request July 4, 2023 09:25

mmv08

synchronize #594

certora/check-owners-list-consistency

Status Success

Total duration 2m 19s

Artifacts –

ci.yml

on: pull_request

Matrix: benchmarks

Matrix: tests-other