Job builder-web

Build 2025-07-12 09:20:32Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder-web.deb (14.5MB): SHA256:1af4183cdb5197c8db67030c64b993d67e1305b2d8b5bd569ff4b51ae954563b
system-packages (4.7kB): SHA256:c646280663339823b6910e305b63b70c75b594ffacb9060c97fad5017c9006fd
build-environment (318B): SHA256:bd34ae8db8933ff8b4a9018e43c5a2f08f5ca8533a9606a58966738635bed7ea
opam-switch (228kB): SHA256:77fdd180a222830d44317330ea31c29618b0e5ed2441b1229eae170bf7c16c8c

Reproduced by 2 builds

on debian-11, same input, 2025-07-13 09:38:27Z
on debian-11, same input, 2025-07-11 09:02:03Z

Comparisons with other builds on the same platform

Latest build 2025-07-13 09:38:27Z
Earlier build with different output 2025-07-10 09:51:37Z

?