Job builder

Build 2025-06-29 09:31:12Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.32MB): SHA256:9fb3bc3ba021cd33ed294d7747ccd3d28255d024e26b2a9ffb9d01b8007b5e16
system-packages (4.54kB): SHA256:707a048ef88dfb0555c577ac4487248fb7f3e369dbd046dcfb7b1ea8a84d3495
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
opam-switch (111kB): SHA256:24c35099713887b76df6e7cd82481798150a75603ce18251b01df545891c2996

Reproduced by 22 builds

on debian-12, same input, 2025-07-10 09:15:52Z
on debian-12, same input, 2025-07-09 09:02:01Z
on debian-12, same input, 2025-07-08 09:38:38Z
on debian-12, same input, 2025-07-07 09:19:07Z
on debian-12, same input, 2025-07-06 09:01:59Z
on debian-12, same input, 2025-07-05 09:38:59Z
on debian-12, same input, 2025-07-04 09:11:29Z
on debian-12, same input, 2025-07-03 09:01:56Z
on debian-12, same input, 2025-07-02 09:31:16Z
on debian-12, same input, 2025-07-01 09:11:23Z
on debian-12, same input, 2025-06-30 09:01:53Z
on debian-12, same input, 2025-06-28 09:11:21Z
on debian-12, different input, 2025-06-27 09:01:49Z
on debian-12, different input, 2025-06-25 09:11:14Z
on debian-12, different input, 2025-06-18 09:01:40Z
on debian-12, different input, 2025-06-13 09:15:49Z
on debian-12, different input, 2025-06-12 09:01:35Z
on debian-12, different input, 2025-06-02 09:36:00Z
on debian-12, different input, 2025-05-26 09:16:01Z
on debian-12, different input, 2025-05-23 09:15:57Z
on debian-12, different input, 2025-05-22 09:01:14Z
on debian-12, different input, 2025-05-21 09:35:54Z

Comparisons with other builds on the same platform

Latest build 2025-07-30 09:09:18Z
Later build with different output 2025-07-11 09:39:04Z
Earlier build with different output 2025-03-03 09:39:26Z

?