Job builder

Build 2022-08-28 10:41:43Z

Built on platform debian-10

Build took 19min51s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:9591e8812db37ece0ef7a63e1443466c37c3d5885887506aeb5f4d5b85b4b7f7 (7.16MB)

build-environment

SHA256:1f6920bce21ab9336439dbaa7473553da90a4a476ec4932ef1448e6938dfe6ef (346B)

opam-switch

SHA256:ae66a66de94f82119b50c755a34c82d6db0633ed6f27a00c5e805321dfb8aa62 (153kB)

system-packages

SHA256:bcdbd24521711bc6fc73b0d391db69ceef6c1d7800fca57bae9568fb6f0a1586 (4.34kB)

Reproduced by 3 builds

• on debian-10, same input, 2022-08-27 09:41:03Z
• on debian-10, same input, 2022-08-26 09:36:41Z
• on debian-10, different input, 2022-08-29 09:37:38Z

Comparisons with other builds on the same platform

• Latest build 2024-04-19 12:27:12Z
• Later build with different output 2022-09-07 15:24:53Z
• Earlier build with different output 2022-08-25 10:41:57Z

?