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

Package inputs

This verification run did not include a theorem package lock. Its inputs depend only on repository, toolchain, image, and command inputs.

Trust verification

Recomputes trust checks from the recorded attestations, manifest, and command history.

(verification not run)

Manifest

Loads the published files manifest and location metadata for this job.

(manifest not loaded)

Verifier log excerpt

(no log excerpt)

Command runs

No command run records available.