Job builder

Build 2022-02-08 18:45:12Z

Built on platform debian-10

Build took 11min24s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:f85e0b56386097abadfec21dc65511da420869bb5242f099b4d9f808621c9af7 (7.08MB)

opam-switch

SHA256:36805f7cb6ccef44061aa512626b9edb590905032159d4223a282e9ba20e513c (152kB)

build-environment

SHA256:e799cc397da848793e65e52ea0268d0d71179300227e5de44ff84531f117cb31 (356B)

system-packages

SHA256:a948e11873edfbd8473a7b74ae3e201b7db9af65fcccb399a188eecda22c5499 (3.74kB)

Reproduced by 7 builds

• on debian-10, same input, 2022-02-07 18:45:14Z
• on debian-10, same input, 2022-02-06 18:45:12Z
• on debian-10, same input, 2022-02-05 18:45:13Z
• on debian-10, same input, 2022-02-04 18:45:19Z
• on debian-10, same input, 2022-02-03 18:45:19Z
• on debian-10, same input, 2022-02-02 18:45:09Z
• on debian-10, different input, 2022-02-01 18:45:17Z

Comparisons with other builds on the same platform

• Latest build 2024-04-22 12:20:24Z
• Later build with different output 2022-02-09 18:45:15Z
• Earlier build with different output 2022-01-02 19:31:10Z

?