10214202563
100%
master: 85%

Ran 02 Aug 2024 10:37AM UTC

Jobs 1

Files 12

Run time 1min

Badge

Committed 02 Aug 2024 10:36AM UTC coverage: 100.0%. Remained the same

Build Type

push

github

Committed by

Commit Message

Passkey Audit Report Added (#476)

This PR adds the Passkey Audit (`v0.2.1`) done by Certora to the Passkey
`modules` folder.

Fixes #460

Run Details

28 of 28 branches covered (100.0%)

Branch coverage included in aggregate %.

92 of 92 relevant lines covered (100.0%)

30.29 hits per line

ID	Job ID	Ran	Files	Coverage
1	10214202563.1	02 Aug 2024 10:37AM UTC	12	100.0	GitHub Action Run