Verification run

Run 762

promachina/iut-lean branch master triggered via poller

failed commit ad1a109aebf4 took 1m 6s · finished 6d ago

recovered: running build job has no active runner attempt; stale recovery limit exceeded, failing job instead of requeueing

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

runner exit 0 duration 0 ms · created 7/9/2026, 9:46:55 PM

systemd unit apx-build-1036

unit=apx-build-1036 active_state=deactivating sub_state=stop-sigterm result=oom-kill exec_main_code=0 exec_main_status=0 exec_start={ path=/opt/apodeixis/releases/20260623145115/bin/apodeixis-worker ; argv[]=/opt/apodeixis/releases/20260623145115/bin/apodeixis-worker run-job --job-id 1036 --runner-attempt-id 192 ; ignore_errors=no ; start_time=[Thu 2026-07-09 20:54:03 UTC] ; stop_time=[n/a] ; pid=1246471 ; code=(null) ; status=0/0 } working_directory=/opt/apodeixis/releases/20260623145115 invocation_id=92c41625326b4cabbb9b73afc1fc8002 memory_current=850268160 cpu_usage_nsec=134299935000 load_error=-

detached build unit apx-build-1036 exited before build job reached terminal state (state=deactivating/stop-sigterm/oom-kill, exec=0/0)

runner exit 0 duration 0 ms · created 7/9/2026, 10:23:21 PM

systemd unit apx-build-1036

unit=apx-build-1036 active_state=deactivating sub_state=stop-sigterm result=oom-kill exec_main_code=0 exec_main_status=0 exec_start={ path=/opt/apodeixis/releases/20260623145115/bin/apodeixis-worker ; argv[]=/opt/apodeixis/releases/20260623145115/bin/apodeixis-worker run-job --job-id 1036 --runner-attempt-id 193 ; ignore_errors=no ; start_time=[Thu 2026-07-09 21:46:55 UTC] ; stop_time=[n/a] ; pid=1324357 ; code=(null) ; status=0/0 } working_directory=/opt/apodeixis/releases/20260623145115 invocation_id=03fbf7a9c0c849c6bfbc0285fa9b8d14 memory_current=3974201344 cpu_usage_nsec=122123294000 load_error=-

detached build unit apx-build-1036 exited before build job reached terminal state (state=deactivating/stop-sigterm/oom-kill, exec=0/0)