Job builder-web

Build 2023-05-12 14:38:33Z

Built on platform debian-11

Build took 11min16s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder-web.deb

SHA256:b24dade0e00245dfac9374a2c4933ef38b36d294fb1776c613bb4aea5309ee13 (14.3MB)

system-packages

SHA256:b1d037b4e92cdd80061f735c3eccb98bc1beaa571a5e6755b16baeccaaa42345 (4.54kB)

build-environment

SHA256:f2bac1d7b9a204a2fafa1b55e7eef968a338ec2ab7ab2103dcb25062b44c960c (350B)

opam-switch

SHA256:c3df955c2fff06e0d47114f80dbe68f5433af0b82f5c9cd1770e331645c3aff1 (252kB)

Reproduced by 11 builds

• on debian-11, same input, 2023-05-11 14:38:32Z
• on debian-11, same input, 2023-05-10 14:38:32Z
• on debian-11, same input, 2023-05-09 14:38:31Z
• on debian-11, same input, 2023-05-08 14:38:30Z
• on debian-11, same input, 2023-05-07 14:38:29Z
• on debian-11, same input, 2023-05-06 14:38:28Z
• on debian-11, same input, 2023-05-05 14:38:27Z
• on debian-11, same input, 2023-05-04 14:38:26Z
• on debian-11, same input, 2023-05-03 14:38:25Z
• on debian-11, different input, 2023-05-19 14:38:39Z
• on debian-11, different input, 2023-05-17 14:38:37Z

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

?