Job builder-debian-10

Build 2021-09-11 13:31:18Z

Built on platform debian-10

Build took 9min1s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:377951ce66b9bd247cb4a2a1a3cb5e7ace0c2657c4db9482df51a06a03b956fe (6.98MB)

opam-switch

SHA256:9e66e951ce14a0b17b3390041bb134fe62dec00a3a5bc37062e08691cb39954f (134kB)

build-environment

SHA256:2a4d625126abebe651953e513fcb6ea7408f87799120b6bda97e69fc61deff45 (229B)

system-packages

SHA256:481b8e3cb67ff4e4eb0904b3ee49f09ca49eb5c89bb9d6a40c31cfd915291382 (3.74kB)

Reproduced by 2 builds

• on debian-10, same input, 2021-09-10 13:31:18Z
• on debian-10, different input, 2021-09-09 13:30:30Z

Comparisons with other builds on the same platform

• Latest build 2024-04-15 12:08:53Z
• Later build with different output 2021-09-12 13:31:18Z
• Earlier build with different output 2021-09-09 12:58:24Z

?