Skip to content
certora-gsm

docs: Add docs for remote facilitator setup (#12) #73

Sign in to view logs

docs: Add docs for remote facilitator setup (#12)

docs: Add docs for remote facilitator setup (#12) #73

Triggered via push November 4, 2025 09:18
@miguelmtzinfmiguelmtzinf
pushed 44e20da
main
Status Success
Total duration 1m 56s
Artifacts 1

certora-gsm.yml

on: push
verify
1m 51s
verify
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-e5dafa57-2fcb-41b0-9862-6d08228d3384-19063706915
23.2 KB
sha256:a9b66e753bf386262da2a1b1e6bcd0a6420606a77fd124dfa3b177a233de3dd4