Job builder-web

Build 2025-05-31 09:19:34Z

Built on platform debian-12

Build took 6min26s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder-web.deb

SHA256:ac6f6dcf7ad9abd0470ab964f3e63bd057b05d39bbe6d4e42ba47282c75c563f (15.1MB)

system-packages

SHA256:a32128fb2d21c10e6bed3c0bfc8e41853064e2a03409bf958811718a0aa9eae5 (4.64kB)

build-environment

SHA256:27d9791e930cc77f17d2de2608bc39d26ecce9c811c9f3d3dd09eecf035b7553 (318B)

opam-switch

SHA256:4975bb78bb922bd527b87b157b56fd9a7183e4cbb65a66e7b1719a838ea2f477 (228kB)

Reproduced by 10 builds

• on debian-12, same input, 2025-06-02 09:01:25Z
• on debian-12, same input, 2025-06-01 09:34:18Z
• on debian-12, same input, 2025-05-30 09:01:22Z
• on debian-12, same input, 2025-05-29 09:34:29Z
• on debian-12, same input, 2025-05-28 09:19:30Z
• on debian-12, different input, 2025-05-27 09:01:19Z
• on debian-12, different input, 2025-05-26 09:34:23Z
• on debian-12, different input, 2025-05-24 09:01:16Z
• on debian-12, different input, 2025-05-22 09:19:22Z
• on debian-12, different input, 2025-05-21 09:01:13Z

Comparisons with other builds on the same platform

• Latest build 2025-06-06 09:19:41Z
• Later build with different output 2025-06-03 09:21:30Z
• Earlier build with different output 2025-03-02 09:15:15Z

?