Job builder

Build 2021-08-14 18:29:11Z

Built on platform debian-10

Build took 7min28s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:ce9881bfba06dacce713e5245a1d35bd7ff9dd01ef22810f58cc2cc2510296db (2.64MB)

opam-switch

SHA256:cd861494870d1153d36cf6fd6d3898382cfc00ad3aeb52376a035f3be8c39507 (55.6kB)

build-environment

SHA256:2a4d625126abebe651953e513fcb6ea7408f87799120b6bda97e69fc61deff45 (229B)

system-packages

SHA256:0731c432072c79c8cb0a5bf015f3a1312627f3f12c9dc19448bf6e40fc61959c (3.46kB)

Reproduced by 5 builds

• on debian-10, different input, 2021-09-08 18:32:23Z
• on debian-10, different input, 2021-09-07 18:32:18Z
• on debian-10, different input, 2021-09-05 18:32:01Z
• on debian-10, different input, 2021-08-24 18:30:43Z
• on debian-10, different input, 2021-08-23 18:30:36Z

Comparisons with other builds on the same platform

• Latest build 2024-05-18 12:01:55Z
• Later build with different output 2021-09-09 12:58:24Z
• Earlier build with different output 2021-08-13 18:29:06Z

?