Job builder

Build 2023-04-11 21:19:26Z

Built on platform debian-10

Build took 7min17s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:45bf4c4bb18a7226e43bf44e8f07835b2004c33b049baeb3f98302d90ebdc954 (7.67MB)

system-packages

SHA256:f17c81f68f7b404610194aa8ea3b0948c9a15d1e59837851ec5015186ceb8d10 (4.38kB)

build-environment

SHA256:1f6920bce21ab9336439dbaa7473553da90a4a476ec4932ef1448e6938dfe6ef (346B)

opam-switch

SHA256:ebf86e70df99b0a5fe4ea3ddd68eb5585933897e12f94b6c38a2f1f5a14f3d61 (115kB)

Reproduced by 1 builds

• on debian-10, same input, 2023-04-11 12:36:37Z

Comparisons with other builds on the same platform

• Latest build 2024-04-18 12:01:06Z
• Later build with different output 2023-04-12 21:39:20Z
• Earlier build with different output 2023-02-26 21:38:32Z

?