Job builder

Build 2025-08-07 09:47:14Z

Platform	Duration	Execution Result
debian-11	4min59s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.14MB): SHA256:89fc2a340af4a80a558e5d561ceb2b7e858cd5a6bc4fd24a52a3cd30e3dc991a
system-packages (4.57kB): SHA256:57383b938ea5391ffcb2d00870e5a10f94dc70af49737d40ba293a1ce1793361
build-environment (314B): SHA256:735ab2a13ed43ac27e930797e4da9747dd965360bac2fccdfc941f87cae6064c
opam-switch (111kB): SHA256:5645d5de99339c20aa71f0d4ae8734d653188a3d864a1875060fe8609a8acb24

Reproduced by 4 builds

on debian-11, same input, 2025-08-06 09:26:13Z
on debian-11, same input, 2025-08-05 09:09:42Z
on debian-11, same input, 2025-08-04 09:47:04Z
on debian-11, same input, 2025-08-03 09:26:22Z

Comparisons with other builds on the same platform

Earlier build with different output 2025-08-02 09:09:33Z

?