Job builder

Build 2024-09-10 14:05:01Z

Built on platform debian-12

Build took 4min55s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:d6b23db6359d2721ca1edc187be1e9f7fc9ab9597e0c981701c34be72c9f48b8 (7.32MB)

system-packages

SHA256:d47e9eab0c8aa199278fad87c5837dabebbc0af4478ae0f355927d16bdbf8d45 (4.35kB)

build-environment

SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae (314B)

opam-switch

SHA256:291d2d560e4dda3bbe7e2538eb1773783e37d7d2405d1de830999095eed1ff30 (113kB)

Reproduced by 5 builds

• on debian-12, same input, 2024-09-11 14:09:54Z
• on debian-12, same input, 2024-09-09 14:26:29Z
• on debian-12, same input, 2024-09-08 14:10:00Z
• on debian-12, same input, 2024-09-07 14:04:57Z
• on debian-12, same input, 2024-09-06 14:26:26Z

Comparisons with other builds on the same platform

• Latest build 2025-06-02 09:36:00Z
• Later build with different output 2024-09-12 14:27:49Z
• Earlier build with different output 2024-09-05 14:09:58Z

?