Job builder

Build 2026-02-26 10:10:55Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.43MB): SHA256:3bb00f04c16ef4656eff549d6b04e2e82c145a0be430212a45916cef8025fa20
opam-switch (112kB): SHA256:1230ac6561f72d1a04db9954c21bdb1104cfb67f0ed775c109d3658e5511b733
build-environment (314B): SHA256:95ed1151de0fe848215f8b4cfe843d745f16e7734e3a4c1cab187547c30802e2
system-packages (4.33kB): SHA256:f4eff4fb504476ec069c901cf6c36aa1313847dd0a8483e7acabff86297f77df

Reproduced by 0 builds

Comparisons with other builds on the same platform

Earlier build with different output 2026-02-25 10:00:18Z

?