Merge pull request #13 from Certora/certora-squashed · aave-dao/aave-v3-origin@572e895

Triggered via push May 2, 2024 08:04

eboadom

main

Status Success

Total duration 2m 26s

Artifacts 1

test.yml

on: push

Produced during runtime

Name	Size
572e895949a8ec3d31db960c2bbb3f60275a0727 Expired	10.7 KB