Job builder-web

Build 2026-07-25 10:20:28Z

Platform	Duration	Execution Result
debian-12	9min2s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder-web.deb (14.9MB): SHA256:246280ba66f6d16b4ac67a1b251498cce0cdc334e973b2c59be8614ec9686147
opam-switch (239kB): SHA256:fbfebb5367af2846e160f4d413f8cd0b236a7e86931ad7ec95d7757cec579b97
build-environment (318B): SHA256:27d9791e930cc77f17d2de2608bc39d26ecce9c811c9f3d3dd09eecf035b7553
system-packages (4.6kB): SHA256:4414efd8eb16f433d4482386a7496cf236afe773c3fbe8b25b15f6ef81e5ab1b

Reproduced by 3 builds

on debian-12, same input, 2026-07-26 10:28:45Z
on debian-12, different input, 2026-07-24 10:14:27Z
on debian-12, different input, 2026-07-23 10:36:15Z

Comparisons with other builds on the same platform

Latest build 2026-07-31 10:20:51Z
Later build with different output 2026-07-27 10:14:45Z
Earlier build with different output 2026-07-21 10:13:13Z

?