Job builder

Build 2026-05-13 10:06:48Z

Platform	Duration	Execution Result
debian-13	5min21s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.46MB): SHA256:0c8e596dbd133ddc428f5797df3a550e22c400e81c8599ea535799c5c783de92
opam-switch (112kB): SHA256:e54f5cc6c2c0bc167cb354489a74793333bd21cc7a3a5710b378a52f882029f6
build-environment (314B): SHA256:95ed1151de0fe848215f8b4cfe843d745f16e7734e3a4c1cab187547c30802e2
system-packages (4.35kB): SHA256:4ade878ce740adb5395bbf17f4a92815fa454db56643c08365846137e9fa0983

Reproduced by 4 builds

on debian-13, same input, 2026-05-12 10:01:39Z
on debian-13, same input, 2026-05-11 10:00:36Z
on debian-13, same input, 2026-05-10 09:55:01Z
on debian-13, different input, 2026-05-09 09:52:50Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-05-08 10:06:42Z

?