certora-basic

test: update certora suite for 3.3.0 (#104) #139

Sign in to view logs

Triggered via push February 24, 2025 13:26

sakulstra

main

Status Success

Total duration 22m 47s

Artifacts –

certora-basic.yml

on: push

Matrix: verify