Skip to content
CLA Assistant

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

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 #2061

Run time

Learn about OS pricing on GitHub Actions
Job Run time
CLAAssistant
6s
6s