Job builder

Build 2022-09-13 13:32:37Z

Built on platform debian-10

Build took 17min47s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:1b495a194a355495e7905ae0fd0d456c6b2dc45eeba6828bfb89386acce089f7 (7.15MB)

opam-switch

SHA256:909caf9a1613dc5f74cc6c8cab6b501ffa7853e33a6c6eaeaa31fafea1ed0489 (153kB)

build-environment

SHA256:1f6920bce21ab9336439dbaa7473553da90a4a476ec4932ef1448e6938dfe6ef (346B)

system-packages

SHA256:a33349ba4fffaceafc7ac3af8e6c3adbf488bbb468d4f717193a2a61bdc84b9a (4.34kB)

Reproduced by 5 builds

• on debian-10, same input, 2022-09-12 15:12:56Z
• on debian-10, same input, 2022-09-11 14:34:11Z
• on debian-10, same input, 2022-09-10 13:36:03Z
• on debian-10, different input, 2022-09-09 15:20:05Z
• on debian-10, different input, 2022-09-07 15:24:53Z

Comparisons with other builds on the same platform

• Latest build 2024-04-19 12:27:12Z
• Later build with different output 2022-09-14 14:29:10Z
• Earlier build with different output 2022-08-29 09:37:38Z

?