Job builder-web

Build 2025-07-05 09:01:58Z

Platform	Duration	Execution Result
debian-12	6min40s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder-web.deb (15.1MB): SHA256:e476c91ea9d082e496ee584037935e8640072ea41d0d55613d9bec48cd5f524f
system-packages (4.66kB): SHA256:35dcb31d0cef933fe55235c875138ef374e5a089478190707a8e240a9795ed67
build-environment (318B): SHA256:27d9791e930cc77f17d2de2608bc39d26ecce9c811c9f3d3dd09eecf035b7553
opam-switch (228kB): SHA256:807eb4e7edf07e29bd7b25c87cec0d649b713546537404924fc46a6be798c5e3

Reproduced by 0 builds

Comparisons with other builds on the same platform

Earlier build with different output 2025-07-04 09:29:58Z

?