Job builder-web

Build 2023-05-17 14:38:37Z

Built on platform debian-11

Build took 7min22s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder-web.deb

SHA256:b24dade0e00245dfac9374a2c4933ef38b36d294fb1776c613bb4aea5309ee13 (14.3MB)

system-packages

SHA256:7ea702612f0e25c69fc5f1d1ca7faac954d6e1fa0acec93a72a67f3f7eef5fea (4.54kB)

build-environment

SHA256:f2bac1d7b9a204a2fafa1b55e7eef968a338ec2ab7ab2103dcb25062b44c960c (350B)

opam-switch

SHA256:c3df955c2fff06e0d47114f80dbe68f5433af0b82f5c9cd1770e331645c3aff1 (252kB)

Reproduced by 6 builds

• on debian-11, same input, 2023-05-16 14:38:37Z
• on debian-11, same input, 2023-05-15 14:38:36Z
• on debian-11, same input, 2023-05-14 14:38:35Z
• on debian-11, same input, 2023-05-13 14:38:34Z
• on debian-11, different input, 2023-05-19 14:38:39Z
• on debian-11, different input, 2023-05-12 14:38:33Z

Comparisons with other builds on the same platform

• Latest build 2024-05-19 11:41:52Z
• Later build with different output 2023-05-20 14:38:40Z
• Earlier build with different output 2023-05-02 14:38:25Z

?