certora-basic

Merge pull request #129 from bgd-labs/v3.4.0 #201

Triggered via push July 3, 2025 16:11

sakulstra

main

Status Success

Total duration 2m 59s

Artifacts 1

certora-basic.yml

on: push

Produced during runtime

Name	Size	Digest
certora-run-logs-438e0430-909d-4bd2-8508-7742fe6fef45-16055446077 Expired	24.3 KB	`sha256:3782a681cbfd8efe4d4cb93b25ccfa453ef6b432631d455a8070111d5f1c02eb`