certora-basic

Add missing natspec for depositToAave parameter #249

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-basic.yml

on: pull_request