Job builder

Build 2025-10-02 09:16:11Z

Platform	Duration	Execution Result
debian-12	5min5s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.37MB): SHA256:19ab8d08b5ac6e4f2bcc5f044613507a544c1998bf65a66a63bc88ad71474e50
opam-switch (112kB): SHA256:ea04d3a331ec39d67ce1041692d015083aa55ede33d85d146d5288dc9aaa45c1
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.54kB): SHA256:b6250ca002070be233661a934e3761667a4059253a3806b479c88f0e5c4b7a11

Reproduced by 12 builds

on debian-12, same input, 2025-10-14 09:25:10Z
on debian-12, same input, 2025-10-13 09:08:48Z
on debian-12, same input, 2025-10-12 09:38:15Z
on debian-12, same input, 2025-10-11 09:52:23Z
on debian-12, same input, 2025-10-10 09:08:33Z
on debian-12, same input, 2025-10-08 09:16:31Z
on debian-12, same input, 2025-10-07 09:07:39Z
on debian-12, same input, 2025-10-06 09:29:41Z
on debian-12, same input, 2025-10-05 09:16:15Z
on debian-12, same input, 2025-10-04 09:07:25Z
on debian-12, same input, 2025-10-03 11:33:57Z
on debian-12, different input, 2025-10-01 09:07:09Z

Comparisons with other builds on the same platform

Latest build 2025-10-26 09:16:15Z
Later build with different output 2025-10-15 09:38:51Z
Earlier build with different output 2025-09-29 09:15:51Z

?