Job builder-web

Build 2025-08-08 09:33:57Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder-web.deb (14.6MB): SHA256:67a00d53403a4f23afb270cb98e6bda6d8fd0f9f4e90fe7ec0fc2718b8e26098
system-packages (4.7kB): SHA256:707ba0beb2bfca1180751820479156b0ab56c1d3b6c8da2a0d1d86ef556e6c81
build-environment (318B): SHA256:bd34ae8db8933ff8b4a9018e43c5a2f08f5ca8533a9606a58966738635bed7ea
opam-switch (229kB): SHA256:0d369cc596f27632edd7f13cda15d5df6dd6d83771c9a226f99e374e2937cebf

Reproduced by 3 builds

on debian-11, same input, 2025-08-07 09:32:20Z
on debian-11, same input, 2025-08-06 09:32:32Z
on debian-11, same input, 2025-08-05 09:30:45Z

Comparisons with other builds on the same platform

Earlier build with different output 2025-08-04 09:32:18Z

?