certora-stata

Add missing natspec for depositToAave parameter #267

Sign in to view logs

This workflow is awaiting approval from a maintainer in #146

Triggered via pull request November 2, 2025 07:29

opened #146

atahabilder1:fix/add-depositToAave-natspec

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #146

certora-stata.yml

on: pull_request