Job builder

Build 2026-09-11 10:21:59Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.43MB): SHA256:1352b323c1a56c4a2f9f8b8d0ec713059628f0f69e8d03f4bcd1991232987653
opam-switch (115kB): SHA256:46fdf7ac9b828b7b46de93619b8e1fc1e6b3d8da420e518f9b84cde38ea89edf
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.63kB): SHA256:44623dc10eda066962b852e4df26995877dc7929e04ea9e0c16bd4b5937ed6dc

Reproduced by 4 builds

on debian-12, same input, 2026-09-10 10:39:00Z
on debian-12, same input, 2026-09-09 10:27:34Z
on debian-12, different input, 2026-09-08 10:21:40Z
on debian-12, different input, 2026-09-05 10:21:10Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-08-30 10:20:16Z

?