Skip to content
certora-gsm

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 40s
Artifacts 1

certora-gsm.yml

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

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-4c13185c-f019-4357-a356-1abffafffeaf-19062934056
23.2 KB
sha256:19bbc0515b5bf237288a3c17771df979e835c6e01c1306c762bd7124a5a07aba