Job builder

Build 2022-05-19 18:48:06Z

Built on platform debian-10

Build took 14min26s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:490c8ecb0456ca7138f6f6a979e01607aa20b4246e05e23e6992c8855a07fe3c (7.15MB)

opam-switch

SHA256:cc3534d7cdc0c07929197be4ff55a8a9f8140e243043a41fd55d4b6f492a1f46 (153kB)

build-environment

SHA256:e799cc397da848793e65e52ea0268d0d71179300227e5de44ff84531f117cb31 (356B)

system-packages

SHA256:d64e846a0438592c93e2e01ea700baad009a289ed4e87dc13097c26e5f4fceae (4.34kB)

Reproduced by 12 builds

• on debian-10, same input, 2022-05-18 18:47:39Z
• on debian-10, different input, 2022-06-15 18:47:56Z
• on debian-10, different input, 2022-06-14 18:48:22Z
• on debian-10, different input, 2022-06-12 18:47:52Z
• on debian-10, different input, 2022-05-24 18:47:33Z
• on debian-10, different input, 2022-05-23 18:47:52Z
• on debian-10, different input, 2022-05-21 18:47:31Z
• on debian-10, different input, 2022-05-17 18:47:43Z
• on debian-10, different input, 2022-04-27 18:47:08Z
• on debian-10, different input, 2022-04-22 18:47:25Z
• on debian-10, different input, 2022-04-19 22:49:48Z
• on debian-10, different input, 2022-04-18 18:47:02Z

Comparisons with other builds on the same platform

• Latest build 2024-05-10 12:20:17Z
• Later build with different output 2022-06-16 18:47:51Z
• Earlier build with different output 2022-04-10 18:46:56Z

?