Job builder

Build 2023-02-20 21:42:46Z

Built on platform debian-11

Build took 7min33s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:7e7c7c07051c555cbbaa012a2006e5ca893140669a6e638c6a8ba0e523f1b1b1 (7.78MB)

system-packages

SHA256:57d6aef3d077676a78cf6e90253591ce2305d7ee4d1454b562a58262cd7e7c7b (4.45kB)

build-environment

SHA256:c6ecc3699253a040917e78681f834ad2a2e89c94834f68047614a2d1439218d5 (346B)

opam-switch

SHA256:2271ddb5beb14cb5c5b1444d0cc25f5d4b2b976a983cf3d017924507134169ca (135kB)

Reproduced by 2 builds

• on debian-11, different input, 2023-02-26 21:39:03Z
• on debian-11, different input, 2023-02-22 21:25:19Z

Comparisons with other builds on the same platform

• Latest build 2024-05-06 12:01:24Z
• Later build with different output 2023-04-11 12:36:22Z
• Earlier build with different output 2023-02-19 21:31:43Z

?