CI

refactor(certora): extract `allowedRequestStateChanges` rule into own #966

Sign in to view logs

Re-run triggered October 15, 2024 13:01

0x-r4bbit

#194

refactor/extract-spec

Status Success

Total duration 10m 53s

Artifacts –

ci.yml

on: pull_request

Matrix: verify