certora-gho

feat: Add support for Remote GSM (#9) #44

Triggered via push August 28, 2025 12:19

main

Status Success

Total duration 1m 14s

Artifacts 1

certora-gho.yml

on: push

Produced during runtime

Name	Size	Digest
certora-run-logs-155afa8e-1773-4b0b-913d-7d87f3d48d73-17295603496	24.8 KB	`sha256:22765444683d30df8e9990d1d252ef59e864e69097dc00c8c60e1550705d707e`