Job builder-web

Build 2026-07-07 10:15:39Z

Platform	Duration	Execution Result
debian-13	8min51s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder-web.deb (14.9MB): SHA256:e3ac92b8ca2edcfb1060af977edc3d998b2614f5beed212ddbec17a6df0e70ca
opam-switch (239kB): SHA256:adc1c293e4c3a4dde92ddb814cd9858ff8c3159e5135d550a2ed86e5a14908a7
build-environment (318B): SHA256:71d3132d8dcf4974090d701d3287671a05f5b3d8112878d335fcb7bfddac881b
system-packages (4.42kB): SHA256:46368d1969a3ad7197ab78f10daefa47d3ded0c5266bc1ec7436cd78b611c14a

Reproduced by 0 builds

Comparisons with other builds on the same platform

Earlier build with different output 2026-07-05 12:38:11Z

?