Skip to content
CLA Assistant

Certora Prover setup and properties for the audit of Passkey module #2034

Sign in to view logs

Certora Prover setup and properties for the audit of Passkey module

Certora Prover setup and properties for the audit of Passkey module #2034

Triggered via issue September 16, 2024 10:32
@nlordellnlordell
commented on #495 a5aaf8e
Status Success
Total duration 12s
Artifacts –

cla.yml

on: issue_comment
CLAAssistant
4s
CLAAssistant
Fit to window
Zoom out
Zoom in