Job builder

Build 2025-02-03 09:08:23Z

Built on platform debian-12

Build took 4min52s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:97ed7c36b80890b46975b0df3eb09eafcec29e99b2b91f0f53b9e883c96d6e21 (7.32MB)

system-packages

SHA256:468fe6f396c1e3713bc34c51a72cb2170a4c104c8d79ff22f8b9020c3e9102cb (4.38kB)

build-environment

SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae (314B)

opam-switch

SHA256:6ed7608161445ada1bcc7bf3daa413b9039ee4465ed63c8e61c4bbd5f7d2afed (113kB)

Reproduced by 2 builds

• on debian-12, same input, 2025-02-05 09:12:46Z
• on debian-12, same input, 2025-02-04 10:32:35Z

Comparisons with other builds on the same platform

• Latest build 2025-02-05 09:12:46Z
• Earlier build with different output 2025-02-02 09:12:53Z

?