Job orb

Build 2021-11-01 14:10:16Z

Built on platform debian-10

Build took 8min21s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/orb.deb

SHA256:21c8c5edcf751ce76aa0513229283442d1f89df16cbff4b1952a03d4f3e6d629 (4.08MB)

build-environment

SHA256:5bb647a9814e6ef7169235038258a2815073066908faf65b325667ec36fe13b6 (225B)

opam-switch

SHA256:8d1a672efaf4b997285fc3de7da4fada5ebdf3e8ae0d29262b318ee4b6e28357 (53.5kB)

system-packages

SHA256:12f56e8cfe42337b9b2462f6020b227c6c3d3110b4212f62661621fa8578d216 (3.4kB)

Reproduced by 8 builds

• on debian-10, same input, 2021-10-31 14:10:15Z
• on debian-10, same input, 2021-10-30 14:10:15Z
• on debian-10, same input, 2021-10-29 14:10:15Z
• on debian-10, same input, 2021-10-28 14:10:15Z
• on debian-10, different input, 2021-10-27 14:10:15Z
• on debian-10, different input, 2021-10-25 14:10:14Z
• on debian-10, different input, 2021-10-15 14:10:13Z
• on debian-10, different input, 2021-10-08 14:10:12Z

Comparisons with other builds on the same platform

• Latest build 2023-02-26 21:17:29Z
• Later build with different output 2021-11-02 14:10:16Z
• Earlier build with different output 2021-09-14 18:49:18Z

?