Skip to content
certora-gho

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

certora-gho.yml

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

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-81b31f95-5282-4d93-aa08-e14f482c00cd-19063706879
24.8 KB
sha256:7f13e7d71ac820149d9c1024cc4627f6af51a437dd8d67c2638b5bf495ba0671