Skip to content
certora-steward

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

Sign in to view logs

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

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

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

certora-steward.yml

on: push
verify
38s
verify
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-6e56fdad-f053-4e15-ad45-abd3bc9fdc80-19063706894
5.93 KB
sha256:27f73b9f1213cdd5fb2b68e275f6081a97c580328bb7b5689fea27c6f90198fc