certora-steward

docs: Add docs for remote facilitator setup #54

Triggered via pull request September 2, 2025 09:16

opened #12

docs/remote-gsm

Status Success

Total duration 51s

Artifacts 1

certora-steward.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-8f7b08b9-f2df-4fd6-830b-26eabf3899cf-17398980426	5.94 KB	`sha256:228ab91e0826de8106e6f92bf2765595729062e2abdd0cbb8e9bbbd06b3d0c88`