Job builder

Build 2022-08-15 10:43:33Z

Built on platform debian-10

Build took 19min46s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:11401f119b9f1b2222c2aa27f7db24ff1a938e827dad67c33c9e950c7b1e78cc (7.15MB)

opam-switch

SHA256:ea61bb0b6e15214025c8b1688b578b3584e08667cb530fd6889c9e0d66ca6d0a (152kB)

build-environment

SHA256:1f6920bce21ab9336439dbaa7473553da90a4a476ec4932ef1448e6938dfe6ef (346B)

system-packages

SHA256:bcdbd24521711bc6fc73b0d391db69ceef6c1d7800fca57bae9568fb6f0a1586 (4.34kB)

Reproduced by 7 builds

• on debian-10, same input, 2022-08-14 10:03:13Z
• on debian-10, same input, 2022-08-13 09:51:12Z
• on debian-10, same input, 2022-08-12 10:41:00Z
• on debian-10, same input, 2022-08-11 10:15:26Z
• on debian-10, same input, 2022-08-10 09:39:33Z
• on debian-10, different input, 2022-08-09 10:42:32Z
• on debian-10, different input, 2022-08-08 10:01:56Z

Comparisons with other builds on the same platform

• Latest build 2024-04-18 12:01:06Z
• Later build with different output 2022-08-16 09:40:01Z
• Earlier build with different output 2022-08-04 10:10:15Z

?