Job builder

Build 2024-12-17 18:43:33Z

Built on platform debian-12

Build took 5min3s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:f09c4a10e2d3d7806052b72d639bc009162bc54305c1b837ffa3c2d35dbc50fb (7.33MB)

system-packages

SHA256:4bd3a0179c318efee71e480632177059817afe94ff8ceed095f0433c337df609 (4.37kB)

build-environment

SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae (314B)

opam-switch

SHA256:15a4a0508d95c48aff9850a758499bce00f9ca45964d50344e51a12d7682e5cc (113kB)

Reproduced by 4 builds

• on debian-12, different input, 2025-01-13 18:44:01Z
• on debian-12, different input, 2025-01-11 19:04:18Z
• on debian-12, different input, 2025-01-10 18:43:58Z
• on debian-12, different input, 2024-12-18 19:03:58Z

Comparisons with other builds on the same platform

• Latest build 2025-01-21 09:12:44Z
• Later build with different output 2025-01-20 09:25:41Z
• Earlier build with different output 2024-12-16 19:19:23Z

?