Job builder-web

Build 2023-09-17 14:40:24Z

Built on platform ubuntu-18.04

Build took 9min33s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder-web.deb

SHA256:ed914e5a1938ccca07f41727ce87196e395d75d9233d075ea3a55bd747f5f2d5 (12.4MB)

system-packages

SHA256:e23806cb7c44a3d507f6d1388f665eec17f12fe4e6d7e5cd278c0a0bbd927dfa (5.7kB)

build-environment

SHA256:25f5af4d89a07c8717ed81e9515a41731874809ccb62f4f8b0a0a961016e06e1 (353B)

opam-switch

SHA256:32c31c8e1ff697408ea20ee2d998d08cb3c7cdb88c80c0b8b8f627d784110ba6 (215kB)

Reproduced by 4 builds

• on ubuntu-18.04, same input, 2023-09-16 14:40:23Z
• on ubuntu-18.04, same input, 2023-09-15 14:40:22Z
• on ubuntu-18.04, same input, 2023-09-14 14:40:21Z
• on ubuntu-18.04, different input, 2023-09-13 14:40:20Z

Comparisons with other builds on the same platform

• Latest build 2023-11-20 13:15:06Z
• Later build with different output 2023-09-18 14:40:24Z
• Earlier build with different output 2023-09-11 14:40:18Z

?