Skip to content
certora-gho

docs: Add docs for remote facilitator setup #72

Sign in to view logs

docs: Add docs for remote facilitator setup

docs: Add docs for remote facilitator setup #72

Triggered via pull request November 4, 2025 08:49
@miguelmtzinfmiguelmtzinf
synchronize #12
docs/remote-gsm
Status Success
Total duration 1m 39s
Artifacts 1

certora-gho.yml

on: pull_request
verify
1m 32s
verify
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-1f5a0b51-15d9-4df7-bb52-563efd12e221-19062934035
24.8 KB
sha256:40803970fc0670dd39e758dbc1a50616777e035b5d5530aae96eb1e560bc1543