Job builder-web

Build 2025-02-04 10:54:01Z

Platform	Duration	Execution Result
debian-11	6min19s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder-web.deb (14.3MB): SHA256:acac85b4fc4cd6f91e6feb7ec27e23937be5da7ff64276d760f725c5b3c23bea
system-packages (4.69kB): SHA256:e29f5ff428189cc113b3e6866039be4971589930a16a862f78105ba4f6ecc444
build-environment (318B): SHA256:bd34ae8db8933ff8b4a9018e43c5a2f08f5ca8533a9606a58966738635bed7ea
opam-switch (226kB): SHA256:7c62abda4e1cbb8c4962b1211a99973a01bef3a3726f004741498367db30932c

Reproduced by 0 builds

Comparisons with other builds on the same platform

Latest build 2025-06-30 09:20:08Z
Later build with different output 2025-02-05 08:59:10Z
Earlier build with different output 2025-02-03 09:14:52Z

?