Job builder

Build 2026-05-02 10:01:41Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.42MB): SHA256:4fc003279e1ace9c716c27281ad856fc5368a00716784cab1304fbb96e0a5d7a
opam-switch (112kB): SHA256:8481abcde624feb27e6382f06158be0bc83b3ebc69e7226df26e318c1915f984
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.54kB): SHA256:89f64d53a78796bf238dbb537466f5cfc25bc145eea24c3d0645aa955a4abe41

Reproduced by 1 builds

on debian-12, different input, 2026-05-01 09:48:16Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-04-28 09:44:58Z

?