Job builder

Build 2025-11-15 09:17:37Z

Platform	Duration	Execution Result
debian-12	5min8s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.36MB): SHA256:58e501281994e2b70aa13e9bf74e65c94875dcea6340368bc7a39502da641e3e
opam-switch (112kB): SHA256:4f3aa9a9ce4307e12040050ac38a2c5013968d22f3424d0593e2fa300b1c59d4
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.54kB): SHA256:92452d91edaded91c902835433a2556eacdaf723ef6a66afb280975aee57dd2e

Reproduced by 4 builds

on debian-12, same input, 2025-11-16 09:20:48Z
on debian-12, same input, 2025-11-14 09:21:14Z
on debian-12, same input, 2025-11-13 09:19:53Z
on debian-12, different input, 2025-11-11 09:20:30Z

Comparisons with other builds on the same platform

Latest build 2025-11-16 09:20:48Z
Earlier build with different output 2025-11-05 09:19:49Z

?