certora-gho

docs: Add docs for remote facilitator setup #54

Triggered via pull request September 2, 2025 09:17

synchronize #12

docs/remote-gsm

Status Success

Total duration 1m 26s

Artifacts 1

certora-gho.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-39998a6c-5442-4084-a00f-644574fd775e-17399011527	24.8 KB	`sha256:06b51c4cf5c108f7689d7b9a018c628be45b8fe347039e62eaf29c65ae30e08e`