Skip to content
certora

Feature: Signatures rule fix by restoring the prover options from the original PR #291

Sign in to view logs

Feature: Signatures rule fix by restoring the prover options from the original PR

Feature: Signatures rule fix by restoring the prover options from the original PR #291

Triggered via pull request October 12, 2023 08:57
@mmv08mmv08
synchronize #680
certora/signatures-rule-options-fix
Status Success
Total duration 15m 59s
Artifacts –

certora.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in