Job builder-web

Build 2025-09-13 09:36:52Z

Platform	Duration	Execution Result
debian-11	8min3s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder-web.deb (13.9MB): SHA256:2f4ee5dd6ef0917dc4e0c23555d75d0ca0c10f1d339b9f154905fe26c89ffb2b
system-packages (4.63kB): SHA256:514b5adb126a3b66a9b6d6780e6a278655883c1a474a85b8a290a1db10efcb2d
build-environment (318B): SHA256:bd34ae8db8933ff8b4a9018e43c5a2f08f5ca8533a9606a58966738635bed7ea
opam-switch (217kB): SHA256:c5cd73375bc3d3a2e3cb6f504fede0d324bc11bf18abda3f7c1d3e2c5c9b267c

Reproduced by 0 builds

Comparisons with other builds on the same platform

Earlier build with different output 2025-09-12 09:35:14Z

?