Job builder

Build 2025-09-08 09:21:51Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.31MB): SHA256:fee77f8b472bcc811441ddee058aff28cda11e0760553588e4c8a71708ee40a5
system-packages (4.54kB): SHA256:2b9efb8a3fab11fc9b55329352e17b6c04c38be7b47ed28b59407ec55f6422d3
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
opam-switch (111kB): SHA256:406b05b1373273027a56db18847e2ba0ca465d33d0146d7e05448be28408934d

Reproduced by 7 builds

on debian-12, same input, 2025-09-09 09:50:43Z
on debian-12, same input, 2025-09-07 09:11:30Z
on debian-12, different input, 2025-09-21 09:32:37Z
on debian-12, different input, 2025-09-16 09:06:08Z
on debian-12, different input, 2025-09-06 09:49:29Z
on debian-12, different input, 2025-09-03 11:59:26Z
on debian-12, different input, 2025-08-28 09:48:02Z

Comparisons with other builds on the same platform

Latest build 2025-12-06 09:21:31Z
Later build with different output 2025-09-22 09:06:30Z
Earlier build with different output 2025-08-27 09:29:57Z

?