Job builder

Build 2021-12-18 11:59:03Z

Built on platform debian-10

Build took 11min23s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:57dec63a56228a9a59fcb20e112a76f822847b5ecf02f172f0b3a69911ec633e (7.08MB)

opam-switch

SHA256:b2c131a128fb1462d72c678aeb12b851183f5255a8584fe4d32896b133cdf856 (153kB)

build-environment

SHA256:e799cc397da848793e65e52ea0268d0d71179300227e5de44ff84531f117cb31 (356B)

system-packages

SHA256:a948e11873edfbd8473a7b74ae3e201b7db9af65fcccb399a188eecda22c5499 (3.74kB)

Reproduced by 8 builds

• on debian-10, same input, 2021-12-22 11:59:06Z
• on debian-10, same input, 2021-12-21 11:59:06Z
• on debian-10, same input, 2021-12-20 11:59:05Z
• on debian-10, same input, 2021-12-19 11:59:04Z
• on debian-10, different input, 2021-12-17 11:59:03Z
• on debian-10, different input, 2021-12-16 11:59:02Z
• on debian-10, different input, 2021-12-14 11:59:00Z
• on debian-10, different input, 2021-12-10 11:58:57Z

Comparisons with other builds on the same platform

• Latest build 2024-04-18 12:01:06Z
• Later build with different output 2021-12-23 11:59:07Z
• Earlier build with different output 2021-11-29 11:58:28Z

?