Job builder

Build 2026-10-31 10:45:41Z

Platform	Duration	Execution Result
debian-12	3min28s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.51MB): SHA256:69a6c4ddd1358644a64e057780f809a059292a1172f009d5771502c76e306fd1
opam-switch (115kB): SHA256:08e7dedc6f5f8a07d08cb8df5b08e38aad2ac2d7bbddeecac8ca6f81349d1006
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.65kB): SHA256:727a88a66a3e61a49aaf79294bcab12c4883b3ea80f59eff2789920e9d5985d0

Reproduced by 3 builds

on debian-12, different input, 2026-10-30 10:36:31Z
on debian-12, different input, 2026-10-26 10:29:59Z
on debian-12, different input, 2026-10-23 10:29:33Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-10-21 10:35:28Z

?