Job builder

Build 2025-06-10 09:17:03Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.32MB): SHA256:9fb3bc3ba021cd33ed294d7747ccd3d28255d024e26b2a9ffb9d01b8007b5e16
system-packages (4.52kB): SHA256:e6391176906c045ac01f4c66ec4b9974fd8be2c79ce2f4e8d01e06d47af8a754
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
opam-switch (111kB): SHA256:8ce37a82e277e3e8fb1e36f76761bba908a45e213117944ac80482c5d71a93cc

Reproduced by 18 builds

on debian-12, same input, 2025-06-12 09:01:35Z
on debian-12, same input, 2025-06-11 09:36:12Z
on debian-12, same input, 2025-06-09 09:01:32Z
on debian-12, same input, 2025-06-08 09:36:08Z
on debian-12, same input, 2025-06-07 09:16:18Z
on debian-12, same input, 2025-06-06 09:01:29Z
on debian-12, same input, 2025-06-05 09:36:00Z
on debian-12, same input, 2025-06-04 09:15:42Z
on debian-12, different input, 2025-07-01 09:11:23Z
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-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-01 09:11:23Z
Earlier build with different output 2025-03-03 09:39:26Z

?