Job builder

Build 2025-07-28 09:26:43Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.32MB): SHA256:23e1dd4915557b989ea71f951091e18bfd8aeb2e8227c6782a76d86c8e0a3dad
system-packages (4.54kB): SHA256:707a048ef88dfb0555c577ac4487248fb7f3e369dbd046dcfb7b1ea8a84d3495
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
opam-switch (111kB): SHA256:4b16d617be81ac8fc6518c092d4280711e77670800ee85b93af44d3187614654

Reproduced by 4 builds

on debian-12, same input, 2025-07-27 09:09:06Z
on debian-12, same input, 2025-07-26 09:45:21Z
on debian-12, different input, 2025-07-25 09:26:41Z
on debian-12, different input, 2025-07-24 09:02:19Z

Comparisons with other builds on the same platform

Latest build 2025-08-28 09:48:02Z
Later build with different output 2025-07-29 09:46:57Z
Earlier build with different output 2025-07-10 09:15:52Z

?