spell and link check

Clarify ghosts.md, DOC-406 #2113

Sign in to view logs

Triggered via pull request August 26, 2025 23:39

srunquist-certora

synchronize #435

shane/DOC-406-ghost-example

Status Failure

Total duration 34s

Artifacts –

check.yml

on: pull_request

Annotations

1 error

Process completed with exit code 1.