Job builder-web

Build 2025-07-29 09:31:51Z

Platform	Duration	Execution Result
debian-11	7min2s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder-web.deb (14.5MB): SHA256:9139770c88fd6caacfeecfda926944d17e1a7a1f1b58aaa79c4e150d464d42ba
system-packages (4.7kB): SHA256:707ba0beb2bfca1180751820479156b0ab56c1d3b6c8da2a0d1d86ef556e6c81
build-environment (318B): SHA256:bd34ae8db8933ff8b4a9018e43c5a2f08f5ca8533a9606a58966738635bed7ea
opam-switch (228kB): SHA256:a441af0e54ff028c936417ce8abbb2969724c626f1a15f82f153a8a4a48a2e38

Reproduced by 1 builds

on debian-11, same input, 2025-07-31 09:32:02Z

Comparisons with other builds on the same platform

Latest build 2025-07-31 09:32:02Z
Earlier build with different output 2025-07-28 09:33:13Z

?