Job builder

Build 2026-08-28 10:25:45Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.43MB): SHA256:ed890cfe2c184a2b814a41be1a9640d2d771d1b4c32282f19df54aed06250e3d
opam-switch (115kB): SHA256:ef0e9ba621f2fd429985879f717d591919ef6694696a62c5762b6b4e5e0b68c7
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.63kB): SHA256:01cf8820e7d1a0c3405fbe71ad4fd5f0059ebe151f459b74aad91e1a97b08799

Reproduced by 1 builds

on debian-12, different input, 2026-08-27 10:19:57Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-08-26 10:36:51Z

?