Certora verification

DatOneJuice/Smartwallet README.md #116

Sign in to view logs

This workflow is awaiting approval from a maintainer in #104

Triggered via pull request January 31, 2025 04:09

DatOneJuice

opened #104

DatOneJuice:patch-1

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #104

certora.yml

on: pull_request

Matrix: verify

Waiting for pending jobs