Verification run

Run 155

promachina/iut-lean branch master triggered via poller

succeeded commit 1a8c042f4c9b toolchain lean-v4-30-0 prover lean took 3h 36m · finished 6w ago

Indexed output

failed index job 13 theorems 0 edges 0

encountered unexpected or invalid data: PgConnection::run(): too many arguments for query: 100775 (sqlx_postgres::connection::executor:220)

No indexed output recorded for this job yet.

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