Job builder

Build 2026-06-21 10:19:01Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.46MB): SHA256:3fdfda631454cb1383e69e4a6af8b8ef9a52ba4ae6f69534130413fd2f4cf91f
opam-switch (110kB): SHA256:23220859a55ef4369b58753e039a3163691cce15d1cf34bf4c2904ddbc6d0e57
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.46kB): SHA256:07d08611e6c3a280e23997d89c37434fb3606021f227acfdba760ffde51ced71

Reproduced by 6 builds

on debian-12, same input, 2026-06-24 10:17:29Z
on debian-12, same input, 2026-06-23 10:14:26Z
on debian-12, same input, 2026-06-22 10:14:47Z
on debian-12, same input, 2026-06-20 10:14:34Z
on debian-12, same input, 2026-06-19 10:14:13Z
on debian-12, same input, 2026-06-18 10:18:45Z

Comparisons with other builds on the same platform

Latest build 2026-06-25 10:14:59Z
Later build with different output 2026-06-25 10:14:59Z
Earlier build with different output 2026-06-17 10:14:02Z

?