Verification run

Run 244

promachina/iut-lean branch master triggered via manual

succeeded commit 7dc5aeb267bc toolchain lean-v4-30-0 prover lean took 1h 30m · finished 5w ago

Indexed output

failed index job 14 theorems 0 edges 0

encountered unexpected or invalid data: PgConnection::run(): too many arguments for query: 87070 (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.