certora-basic

Merge pull request #125 from bgd-labs/chore/update-libs #178

Sign in to view logs

Triggered via push May 19, 2025 07:47

main

Status Success

Total duration 26m 59s

Artifacts –

certora-basic.yml

on: push

Matrix: verify