Job builder

Build 2026-11-12 10:49:32Z

Platform	Duration	Execution Result
debian-13	4min31s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.53MB): SHA256:4b2c26a21d04344a41105451f4cba96752aa22d83785b9f7888b6f6e772fc7a9
opam-switch (115kB): SHA256:22911d05d48bb6b476cf8a7724e241117d7210f9faceb42a9c6c603a90a71b9a
build-environment (314B): SHA256:95ed1151de0fe848215f8b4cfe843d745f16e7734e3a4c1cab187547c30802e2
system-packages (4.61kB): SHA256:6eb824a23728d63113f640fb8902d47c74e31ea388d627496ec61387bf28f586

Reproduced by 1 builds

on debian-13, different input, 2026-11-11 10:38:48Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-11-09 10:50:03Z

?