Job builder-web

Build 2023-04-12 14:38:08Z

Built on platform ubuntu-18.04

Build took 11min17s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder-web.deb

SHA256:6fae60597bdac3112c2030a0fab2f2558bcb52ebb3571c3fe72ee8d3d069d765 (14.2MB)

system-packages

SHA256:e2d920b93e4a10151ef7ac0c0cc6c12506dc2c6dd441ed50d47f85eb4a56d551 (5.7kB)

build-environment

SHA256:25f5af4d89a07c8717ed81e9515a41731874809ccb62f4f8b0a0a961016e06e1 (353B)

opam-switch

SHA256:5f5a28e3ba9fd08783f843da012caabd3d6a0e68842d14b12dbda4e2d0a2a0cc (252kB)

Reproduced by 2 builds

• on ubuntu-18.04, same input, 2023-04-11 14:38:07Z
• on ubuntu-18.04, same input, 2023-04-11 12:26:01Z

Comparisons with other builds on the same platform

• Latest build 2023-11-20 13:15:06Z
• Later build with different output 2023-04-13 14:38:08Z
• Earlier build with different output 2023-02-26 14:37:29Z

?