certora-basic

fix: readme patches & nightly coverage test (#140) #239

Triggered via push August 28, 2025 09:12

sakulstra

main

Status Success

Total duration 2m 55s

Artifacts 1

certora-basic.yml

on: push

Produced during runtime

Name	Size	Digest
certora-run-logs-346ed45f-f1d1-4818-8c94-e41dd6598639-17291330764	32.4 KB	`sha256:ade19d34311540eddff52217724162c15cc12da36545650eba55168f8f913284`