Job builder

Build 2022-07-02 18:48:10Z

Built on platform debian-10

Build took 14min16s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:17952e9bee65d8496daec60fe160db9e5b391edccf808da724e02208d418cc6c (7.13MB)

opam-switch

SHA256:915c62ef34a2f276360a308af33454cabd4e4191648bc97776e01ac5ca35e048 (150kB)

build-environment

SHA256:e799cc397da848793e65e52ea0268d0d71179300227e5de44ff84531f117cb31 (356B)

system-packages

SHA256:b1f45be55e24fcc4941b1439b2cb86d613faf3d9e3fa6051ef16ea17a08187ca (4.34kB)

Reproduced by 4 builds

• on debian-10, same input, 2022-07-01 18:48:32Z
• on debian-10, same input, 2022-06-30 18:48:10Z
• on debian-10, same input, 2022-06-29 18:47:56Z
• on debian-10, different input, 2022-07-04 18:48:08Z

Comparisons with other builds on the same platform

• Latest build 2024-04-24 12:01:25Z
• Later build with different output 2022-07-05 19:04:26Z
• Earlier build with different output 2022-06-28 18:48:12Z

?