certora-basic

chore: allow blank issues (#128) #190

Sign in to view logs

Triggered via push June 2, 2025 06:57

sakulstra

main

Status Success

Total duration 29m 43s

Artifacts –

certora-basic.yml

on: push

Matrix: verify