Job builder

Build 2026-02-14 10:08:47Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.38MB): SHA256:87f5dcf612f01c4c2be13a079eaab56737829b75607940e28ff0a17c08aba8d7
opam-switch (112kB): SHA256:bdf376ea5d8d201ff2eab4fcfcfad940e9cf8034bc3ff2e86491180e9ef4d431
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.54kB): SHA256:5f3bbad523218925efab56179aaba9e1e98e27d0f25ebdc02eb70f565fddf9c7

Reproduced by 2 builds

on debian-12, same input, 2026-02-13 09:58:36Z
on debian-12, different input, 2026-02-12 09:35:34Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-02-11 10:10:52Z

?