Job builder-web

Build 2025-09-16 09:19:00Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder-web.deb (14.3MB): SHA256:b1f0e8173701031bba1e34c6d5e1beb2e8e267f7569f90a684c187eb86de4a19
opam-switch (217kB): SHA256:098ede7ae3cf8e0c93969a02ba23059fdbeeb5355f78e0c623d60cedff8b2816
build-environment (318B): SHA256:27d9791e930cc77f17d2de2608bc39d26ecce9c811c9f3d3dd09eecf035b7553
system-packages (4.6kB): SHA256:0df65c33d083e5dc404d95e8d058915c6954481ab863d5eb94461b7bbc01f184

Reproduced by 0 builds

Comparisons with other builds on the same platform

Earlier build with different output 2025-09-15 20:32:18Z

?