Verification run

Run 8

Gogopex/pfrbranch mastertriggered via manual

failedcommit manualtook 34m 18s · finished 15w ago

orphaned by #85 auto-deploy restart; re-queued

Indexed output

missingtheorems 0edges 0

No indexed output recorded for this job yet.

This section populates after theorem extraction persists an indexing run with counts and diagnostics.