certora-stata

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

Sign in to view logs

Triggered via push February 24, 2025 13:26

sakulstra

main

Status Success

Total duration 26m 49s

Artifacts –

certora-stata.yml

on: push

Matrix: verify