docs: Add docs for remote facilitator setup #73

Triggered via pull request November 4, 2025 08:49

synchronize #12

docs/remote-gsm

Status Success

Total duration 2m 34s

Artifacts 1

certora-gsm-4626.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-ce08538d-198e-41ac-88ea-0c12db6d9e25-19062934024	28.1 KB	`sha256:19a5a9c27c2e4914c902828450f6aa988196c65790b8f2b3b0c7c2a078ef2d50`