Job builder

Build 2026-06-12 10:17:46Z

Platform	Duration	Execution Result
debian-13	5min9s.	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:bd1e4c4bcab76749f8ff15f5bd094576bf57a6584dd75e4bfd77e3f00a0443ad

Reproduced by 7 builds

on debian-13, same input, 2026-06-11 10:13:25Z
on debian-13, same input, 2026-06-10 10:12:45Z
on debian-13, different input, 2026-06-09 10:17:10Z
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

?