Job builder

Build 2022-12-15 10:43:10Z

Built on platform debian-10

Build took 22min2s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:1c5121d65f56da6e6c3bbf4bba2f584222dd41ca28a7ab9a6ec75d11a107a7e7 (7.17MB)

opam-switch

SHA256:2693cfd36f22cdfd127d2b199a48da303dfce81c58bc40dbd9134706f8823cef (155kB)

build-environment

SHA256:1f6920bce21ab9336439dbaa7473553da90a4a476ec4932ef1448e6938dfe6ef (346B)

system-packages

SHA256:88a5fed8a88aded29c13258c3b173a6ec57731b22cee885310346b52f2075b1f (4.35kB)

Reproduced by 2 builds

• on debian-10, different input, 2022-12-14 09:56:14Z
• on debian-10, different input, 2022-12-13 16:57:16Z

Comparisons with other builds on the same platform

• Latest build 2024-04-18 12:01:06Z
• Later build with different output 2022-12-16 11:47:51Z
• Earlier build with different output 2022-12-08 10:12:10Z

?