Job builder

Build 2024-09-10 14:05:09Z

Built on platform debian-11

Build took 5min16s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:536f3db8c2484f61c8d01813d01752a68f242c6942be3bc3c3497dff6e3ef3a5 (7.12MB)

system-packages

SHA256:231e266ba9e04c22f2d0fd8e30f46a9c67f3ab68f70c34316ef3ff9ff8b88407 (4.55kB)

build-environment

SHA256:735ab2a13ed43ac27e930797e4da9747dd965360bac2fccdfc941f87cae6064c (314B)

opam-switch

SHA256:291d2d560e4dda3bbe7e2538eb1773783e37d7d2405d1de830999095eed1ff30 (113kB)

Reproduced by 5 builds

• on debian-11, same input, 2024-09-11 14:25:33Z
• on debian-11, same input, 2024-09-09 14:26:59Z
• on debian-11, same input, 2024-09-08 14:10:25Z
• on debian-11, same input, 2024-09-07 14:05:05Z
• on debian-11, same input, 2024-09-06 14:26:57Z

Comparisons with other builds on the same platform

• Latest build 2025-06-02 09:36:50Z
• Later build with different output 2024-09-12 14:27:50Z
• Earlier build with different output 2024-09-05 14:10:14Z

?