Certora verification

webauthn-sol @ v1 #84

Sign in to view logs

Triggered via pull request April 22, 2024 17:38

opened #65

wilson/webauthn

Status Success

Total duration 1h 19m 41s

Artifacts –

certora.yml

on: pull_request

Matrix: verify