Job builder

Build 2026-02-12 09:35:36Z

Platform	Duration	Execution Result
debian-13	5min16s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.42MB): SHA256:63aac666e372e06246e2d826ebea6e6b07af2c761af0ad865dbcc1589add2617
opam-switch (112kB): SHA256:ed2bd8ad266e41990f57731d0d8c64922adc15fdb623ee7efb62ac22d69c76dc
build-environment (314B): SHA256:95ed1151de0fe848215f8b4cfe843d745f16e7734e3a4c1cab187547c30802e2
system-packages (4.33kB): SHA256:de4861c106be620db188c2a32755334527403b901d84d0ba5c04173d4ced2e9d

Reproduced by 0 builds

Comparisons with other builds on the same platform

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

?