Job builder

Build 2022-04-22 18:47:29Z

Built on platform debian-11

Build took 14min38s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:085cd9a28448b3733aaf89e619a9481659e716624e8b71bcb72c94a717924a92 (7.1MB)

opam-switch

SHA256:dd3b1bd89b2a2f6dd4154dc1241b7509aea97d2ffd8ca182c55eb39c9ca5dda3 (153kB)

build-environment

SHA256:f1d03011c155507f70fda7e65c60c65b22255d13eb60a2124d261bb1370bc28a (356B)

system-packages

SHA256:1e71aaf99e73d1131295a2e97233cc43913c563b0a586631acc3a6d2d60c293d (4.22kB)

Reproduced by 15 builds

• on debian-11, same input, 2022-04-21 18:47:28Z
• on debian-11, same input, 2022-04-20 18:47:24Z
• on debian-11, different input, 2022-06-15 18:48:11Z
• on debian-11, different input, 2022-06-14 18:48:20Z
• on debian-11, different input, 2022-06-12 18:48:02Z
• on debian-11, different input, 2022-06-10 18:48:14Z
• on debian-11, different input, 2022-05-24 18:47:43Z
• on debian-11, different input, 2022-05-23 18:47:55Z
• on debian-11, different input, 2022-05-21 18:47:34Z
• on debian-11, different input, 2022-05-19 18:47:52Z
• on debian-11, different input, 2022-05-17 18:47:44Z
• on debian-11, different input, 2022-05-02 18:47:23Z
• on debian-11, different input, 2022-04-27 18:47:17Z
• on debian-11, different input, 2022-04-19 22:49:47Z
• on debian-11, different input, 2022-04-18 18:47:00Z

Comparisons with other builds on the same platform

• Latest build 2024-05-07 12:27:01Z
• Later build with different output 2022-06-16 18:48:00Z
• Earlier build with different output 2022-04-10 18:46:57Z

?