Job builder

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

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.36MB): SHA256:71a55d4e87d64fcca53fcf2ea2e804fabe2a7dcb83d0bc1bbeb9e83faf8c8574
opam-switch (112kB): SHA256:e9fce53215248520876555207fae96e2e97a5d1201df9f26cba64941df18a580
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.54kB): SHA256:b6250ca002070be233661a934e3761667a4059253a3806b479c88f0e5c4b7a11

Reproduced by 6 builds

on debian-12, same input, 2025-10-25 09:12:49Z
on debian-12, same input, 2025-10-24 09:18:05Z
on debian-12, same input, 2025-10-23 09:24:01Z
on debian-12, same input, 2025-10-22 09:09:41Z
on debian-12, same input, 2025-10-21 09:43:53Z
on debian-12, different input, 2025-10-20 09:22:56Z

Comparisons with other builds on the same platform

Earlier build with different output 2025-10-14 09:25:10Z

?