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

Triggered via push August 28, 2025 09:12

sakulstra

main

Status Success

Total duration 4m 1s

Artifacts 1

certora-solvency.yml

on: push

Produced during runtime

Name	Size	Digest
certora-run-logs-77d3252a-5bd7-45d2-943d-605517150f65-17291330744	45.9 KB	`sha256:ace2ebfd4fc34e1abec561b12475c7fd1824586df7acb9dd26eb06f1992fcd16`