Job builder

Build 2026-07-24 10:25:57Z

Platform	Duration	Execution Result
debian-13	4min35s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.46MB): SHA256:c422d759d0b245352d03d685098576a804172bde67f418a5e2213371fd8962ac
opam-switch (115kB): SHA256:43f4ab3388cb3074e6b327d497bc9411363303828f4bce069cfa3fe059fab057
build-environment (314B): SHA256:95ed1151de0fe848215f8b4cfe843d745f16e7734e3a4c1cab187547c30802e2
system-packages (4.41kB): SHA256:5153564a46a258c4111bc2102c43bae566dead2cd6624610c19578730b8d5e78

Reproduced by 2 builds

on debian-13, different input, 2026-07-23 10:22:14Z
on debian-13, different input, 2026-07-21 10:24:53Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-07-14 10:19:22Z

?