Job builder

Build 2024-10-30 14:26:44Z

Platform	Duration	Execution Result
debian-12	4min40s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.33MB): SHA256:9837bf52093848553f10162d7c3d30b135f6f25bc1ca150c121d09d3a42b179e
system-packages (4.37kB): SHA256:e2e6a11d069766f0c00c5b22e00c3a27a8011b1b5c8dcf628dccfaf1f67cd271
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
opam-switch (113kB): SHA256:2ad970ed6351536c083ef1f64a3997302879a25eb1e828438aa4b2d23498df99

Reproduced by 5 builds

on debian-12, same input, 2024-11-03 14:05:42Z
on debian-12, same input, 2024-11-02 14:26:39Z
on debian-12, same input, 2024-11-01 14:10:45Z
on debian-12, same input, 2024-10-31 14:05:41Z
on debian-12, different input, 2024-11-06 14:05:46Z

Comparisons with other builds on the same platform

Latest build 2025-07-18 09:02:10Z
Later build with different output 2024-11-07 14:10:47Z
Earlier build with different output 2024-10-28 14:05:39Z

?