Job builder-web

Build 2023-07-24 18:00:29Z

Built on platform ubuntu-20.04

Build took 7min24s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder-web.deb

SHA256:5464cb53cc3f7db6542aca55a2bc39ed708c23e71074ad92e08dacb23518c74d (14.5MB)

opam-switch

SHA256:9a8b294cdae15267bd8ab65df4415b46e55c64c1baaa2e166d10c68ab53ee7a8 (250kB)

system-packages

SHA256:9dbfbd077b147485bb48ab8344ae53a240cd599b3a67b238e605448545dadd2f (5.67kB)

build-environment

SHA256:e94a569b4c70658c4bd9e5564a41deeaadfa3d6b5a9c08de463f8d6865215cd5 (353B)

Reproduced by 2 builds

• on ubuntu-20.04, same input, 2023-07-25 17:28:55Z
• on ubuntu-20.04, different input, 2023-07-28 17:35:47Z

Comparisons with other builds on the same platform

• Latest build 2024-05-19 13:02:30Z
• Later build with different output 2023-08-25 18:11:44Z
• Earlier build with different output 2023-07-23 17:53:05Z

?