Job builder

Build 2022-03-08 18:45:52Z

Built on platform debian-10

Build took 12min9s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:f0306bfcb88f8ac0c61092eb2ae470d901642c5c6477a787f2a0dec82da23fc4 (7.06MB)

opam-switch

SHA256:86fa405d9deed68f3ce49cffe2bccda9e8580fd4a6e936ce6e62a3973a2d3d0c (152kB)

build-environment

SHA256:e799cc397da848793e65e52ea0268d0d71179300227e5de44ff84531f117cb31 (356B)

system-packages

SHA256:e4cc68d199d77bcd08e8e72afecdc43953cadee27e5693e4351e810a64ac7746 (4.29kB)

Reproduced by 9 builds

• on debian-10, same input, 2022-03-07 18:45:57Z
• on debian-10, same input, 2022-03-06 18:46:07Z
• on debian-10, same input, 2022-03-05 18:46:18Z
• on debian-10, same input, 2022-03-04 18:59:45Z
• on debian-10, different input, 2022-02-25 18:45:26Z
• on debian-10, different input, 2022-03-03 18:45:56Z
• on debian-10, different input, 2022-03-01 18:45:51Z
• on debian-10, different input, 2022-02-28 18:45:47Z
• on debian-10, different input, 2022-02-26 18:45:36Z

Comparisons with other builds on the same platform

• Latest build 2024-04-18 12:01:06Z
• Later build with different output 2022-03-09 18:46:04Z
• Earlier build with different output 2022-02-24 18:45:47Z

?