Job builder

Build 2023-02-22 21:25:19Z

Built on platform debian-11

Build took 8min9s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:7e7c7c07051c555cbbaa012a2006e5ca893140669a6e638c6a8ba0e523f1b1b1 (7.78MB)

system-packages

SHA256:782be50111ab809186eb9c885d7ef570c6dbbf4ee4dfa509f4a855cfa110485d (4.43kB)

build-environment

SHA256:c6ecc3699253a040917e78681f834ad2a2e89c94834f68047614a2d1439218d5 (346B)

opam-switch

SHA256:2271ddb5beb14cb5c5b1444d0cc25f5d4b2b976a983cf3d017924507134169ca (135kB)

Reproduced by 3 builds

• on debian-11, same input, 2023-02-21 21:24:03Z
• on debian-11, different input, 2023-02-26 21:39:03Z
• on debian-11, different input, 2023-02-20 21:42:46Z

Comparisons with other builds on the same platform

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

?