Job builder

Build 2023-12-25 12:17:54Z

Platform	Duration	Execution Result
debian-11	5min23s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.05MB): SHA256:d98feaf82c7feae59056ad0fa43442c2593531f154c656f0bb22a13b0729987e
system-packages (4.37kB): SHA256:067cd19a3cb97f489341fc8b149fe9e4e5af11a61ae6915dbb4e902f44ae9afb
build-environment (346B): SHA256:c6ecc3699253a040917e78681f834ad2a2e89c94834f68047614a2d1439218d5
opam-switch (112kB): SHA256:2691befd19a819cf0a0e6fb519a2742e4d85f4eb6891729440de8204ad1a310f

Reproduced by 0 builds

Comparisons with other builds on the same platform

Latest build 2025-09-14 09:28:34Z
Later build with different output 2024-06-26 14:43:42Z

?