Job builder

Build 2026-10-16 10:43:29Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.54MB): SHA256:e507d06424ec08770714ca617c5148ee900db97a9ae521c8bc2676a440108a1e
opam-switch (115kB): SHA256:786e02f48cf0a3fc46bfd0f0785f45414daf8edffed875ae849f9d5b7811e161
build-environment (314B): SHA256:95ed1151de0fe848215f8b4cfe843d745f16e7734e3a4c1cab187547c30802e2
system-packages (4.58kB): SHA256:413768ba0d52651c6be086c47797f49a35eac9cdeca2c98c2d260ed8a771eaad

Reproduced by 0 builds

Comparisons with other builds on the same platform

Earlier build with different output 2026-10-15 10:34:39Z

?