Job builder

Build 2025-03-01 09:13:24Z

Built on platform debian-12

Build took 4min57s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:4e2028ccb891e9c97e8fc95e066c349c8e05df4a9d7ccf64f3d17a8d2a6de02e (7.32MB)

system-packages

SHA256:e3cafcddc7f3952183c8fc2b7f862c03ad95e05564c7cd9c80da728c41b1c877 (4.38kB)

build-environment

SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae (314B)

opam-switch

SHA256:c2d606bf2252840601842b8d8bfe12612fdc8810b3b934f326ce2ee88fa34813 (111kB)

Reproduced by 4 builds

• on debian-12, same input, 2025-03-03 09:39:26Z
• on debian-12, same input, 2025-03-02 09:08:57Z
• on debian-12, same input, 2025-02-28 09:11:40Z
• on debian-12, different input, 2025-02-27 09:08:52Z

Comparisons with other builds on the same platform

• Latest build 2025-06-02 09:36:00Z
• Later build with different output 2025-05-18 19:55:19Z
• Earlier build with different output 2025-02-18 09:08:37Z

?