Skip to content

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

Certora Prover setup and properties for the audit of Passkey module

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

Triggered via issue September 13, 2024 10:58
Status Failure
Total duration 14s
Artifacts

cla.yml

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

Annotations

1 error and 1 warning
CLAAssistant
Committers of Pull Request number 495 have to sign the CLA 📝
CLAAssistant
The following actions use a deprecated Node.js version and will be forced to run on node20: contributor-assistant/github-action@v2.3.1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/