Job builder

Build 2025-02-20 09:13:09Z

Built on platform debian-12

Build took 3min46s.

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:aeb3f43b111b41e7c5c20fb94acf2f7c123fca5bdf5f7dd3d569ac570bfde688 (111kB)

Reproduced by 2 builds

• on debian-12, same input, 2025-02-21 09:09:03Z
• on debian-12, same input, 2025-02-19 09:11:23Z

Comparisons with other builds on the same platform

• Latest build 2025-02-21 09:09:03Z
• Earlier build with different output 2025-02-18 09:08:37Z

?