Job builder-web

Build 2024-08-20 14:13:03Z

Built on platform debian-12

Build took 7min14s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder-web.deb

SHA256:bfc643705c59c4ccaa8e8417bb6dc4bfdf68cf5b9da71304e90f9ab68dab5e4f (15.1MB)

system-packages

SHA256:c8f19abed8fb74de1b5051b3bf03d9a0bcfa81f644ee526f4f7137b40fc6f700 (4.47kB)

build-environment

SHA256:27d9791e930cc77f17d2de2608bc39d26ecce9c811c9f3d3dd09eecf035b7553 (318B)

opam-switch

SHA256:871889c6571b02bd61a3b1e059f6e1a84c94c928013534ba73e1ecd89475e783 (229kB)

Reproduced by 3 builds

• on debian-12, same input, 2024-08-21 14:30:06Z
• on debian-12, same input, 2024-08-19 14:00:22Z
• on debian-12, different input, 2024-08-19 10:13:39Z

Comparisons with other builds on the same platform

• Latest build 2024-11-12 14:12:26Z
• Later build with different output 2024-08-22 14:00:24Z
• Earlier build with different output 2024-08-13 14:04:07Z

?