Verification run

Run 1206

promachina/iut-leanbranch mastertriggered via poller

cancelledcommit 5c48653111f4took 26m · finished 6w ago

cancelled by apodeixis-ops: restart on deployed release 36cd7f625adbce77fec6b2f469c12276a90c5e14; this attempt was pinned to previous release 6de205a78b204319223a1e840f1f31c4223d2489

Open project

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.