Job builder-web

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

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder-web.deb (14.5MB): SHA256:4b29db3eaa7cb13d56ea1bd9e44c5c2aef3c4102ef05728e20b84fdcc8153607
system-packages (4.7kB): SHA256:c646280663339823b6910e305b63b70c75b594ffacb9060c97fad5017c9006fd
build-environment (318B): SHA256:bd34ae8db8933ff8b4a9018e43c5a2f08f5ca8533a9606a58966738635bed7ea
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:30:39Z

?