Job builder

Build 2024-08-15 14:09:56Z

Built on platform debian-11

Build took 5min46s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:12e95886efe7b6fc88f752fa8f3a4170bc36701a88e8fdaac025be2b4b6adfae (7.51MB)

system-packages

SHA256:5cdfe9fad17397e42baa99b9e38f404672e75a2aa150da8d950bcda89cd2b115 (4.56kB)

build-environment

SHA256:735ab2a13ed43ac27e930797e4da9747dd965360bac2fccdfc941f87cae6064c (314B)

opam-switch

SHA256:05c6afc03bfd07adb710b935a01cc0a0075f70d3efa848fe47d9bc1cff904413 (114kB)

Reproduced by 5 builds

• on debian-11, same input, 2024-08-14 13:57:30Z
• on debian-11, same input, 2024-08-13 14:32:29Z
• on debian-11, different input, 2024-08-12 14:11:32Z
• on debian-11, different input, 2024-08-08 13:57:24Z
• on debian-11, different input, 2024-08-07 14:30:42Z

Comparisons with other builds on the same platform

• Latest build 2025-05-31 09:01:23Z
• Later build with different output 2024-08-16 14:20:17Z
• Earlier build with different output 2024-07-20 13:57:08Z

?