Job builder

Build 2023-11-21 12:45:57Z

Built on platform debian-10

Build took 5min32s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:7a5f58a1ae41dacec11b39b2ad02a61287be6b4930e44b175aee93e0e935d3ef (7.78MB)

system-packages

SHA256:8dc900f7d0b9addc50d75aa31f688b77c781b7863603eb96be7855f67ad9c86e (4.38kB)

build-environment

SHA256:1f6920bce21ab9336439dbaa7473553da90a4a476ec4932ef1448e6938dfe6ef (346B)

opam-switch

SHA256:e7dcf8e1432838a3f6ce5c281ee0064ee48f445bcbd9376cea6ba2261a030a68 (115kB)

Reproduced by 2 builds

• on debian-10, same input, 2023-11-20 12:45:03Z
• on debian-10, different input, 2023-11-10 21:37:00Z

Comparisons with other builds on the same platform

• Latest build 2024-05-01 20:21:31Z
• Later build with different output 2023-11-22 12:18:35Z
• Earlier build with different output 2023-11-03 21:26:03Z

?