Job builder

Build 2025-10-26 09:16:16Z

Platform	Duration	Execution Result
debian-13	4min38s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.39MB): SHA256:e2ba191a67e12ec7e7287d2a6a59a6d9f22f8735e01fc30cf2feaa1af3b4e96d
opam-switch (112kB): SHA256:e9fce53215248520876555207fae96e2e97a5d1201df9f26cba64941df18a580
build-environment (314B): SHA256:95ed1151de0fe848215f8b4cfe843d745f16e7734e3a4c1cab187547c30802e2
system-packages (4.28kB): SHA256:406e40d0a1892e987dbe3a3d3164551c2ee28ac46ab7e3df4cdcf8c527da1b1b

Reproduced by 5 builds

on debian-13, same input, 2025-10-25 09:13:00Z
on debian-13, same input, 2025-10-24 09:18:06Z
on debian-13, same input, 2025-10-23 09:24:33Z
on debian-13, same input, 2025-10-22 09:09:41Z
on debian-13, same input, 2025-10-21 16:48:47Z

Comparisons with other builds on the same platform

Earlier build with different output 2025-10-21 16:43:53Z

?