This repository was archived by the owner on Dec 10, 2025. It is now read-only.

certora-gho-5.0.5

Merge pull request #453 from aave/francesc/devops-980-implement-depen… #293

Sign in to view logs

Re-run triggered September 24, 2025 18:10

main

Status Success

Total duration 10m 24s

Artifacts –

certora-gho-505.yml

on: push

Matrix: verify