Proof Links

Set up deployment #386

Sign in to view logs

Re-run triggered December 16, 2025 17:09

#519

update-readme

Status Failure

Total duration 22s

Artifacts –

proof-links.yml

on: pull_request

Annotations

1 error

proof-links

Process completed with exit code 1.