Job builder

Build 2026-06-09 10:17:10Z

Platform	Duration	Execution Result
debian-13	5min8s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.46MB): SHA256:dca4857ac362be1409021af3ff3a7c5d2cd119939fb738beb1d7b465451f4d11
opam-switch (112kB): SHA256:5db77bd3afe61a6410b970c858ae55a23d3a8bc2064a549dc49768c811652855
build-environment (314B): SHA256:95ed1151de0fe848215f8b4cfe843d745f16e7734e3a4c1cab187547c30802e2
system-packages (4.39kB): SHA256:fd7a8a93757793c522d82cf294cd84cd57f1fbaeff990c48e89698b685e53952

Reproduced by 10 builds

on debian-13, same input, 2026-06-08 10:12:27Z
on debian-13, same input, 2026-06-08 07:59:51Z
on debian-13, same input, 2026-06-06 10:16:37Z
on debian-13, same input, 2026-06-05 10:12:01Z
on debian-13, same input, 2026-06-04 10:11:59Z
on debian-13, same input, 2026-06-03 10:16:23Z
on debian-13, different input, 2026-06-02 10:11:37Z
on debian-13, different input, 2026-05-28 10:13:37Z
on debian-13, different input, 2026-05-23 10:07:12Z
on debian-13, different input, 2026-05-22 10:10:48Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-05-20 10:05:11Z

?