Job builder-web

Build 2025-08-01 09:31:57Z

Platform	Duration	Execution Result
debian-11	6min57s.	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:e933f4ccf6286a457fc57f000c539db3492cc09bd99a80e39285e6178e779164

Reproduced by 2 builds

on debian-11, same input, 2025-08-02 09:30:33Z
on debian-11, different input, 2025-07-31 09:32:02Z

Comparisons with other builds on the same platform

Latest build 2025-08-08 09:33:57Z
Later build with different output 2025-08-03 09:32:44Z
Earlier build with different output 2025-07-28 09:33:13Z

?