Job builder-web

Build 2023-02-13 14:57:46Z

Built on platform debian-11

Build took 9min58s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder-web.deb

SHA256:049a3a654fad0b720ed07a0c8bd8a71f4b9672473196b793d64170262973099d (14.3MB)

system-packages

SHA256:1984fee90ca5b2a68c9c940128e3f9895480478b38fc174fe5aaa11e76b7d017 (4.55kB)

build-environment

SHA256:f2bac1d7b9a204a2fafa1b55e7eef968a338ec2ab7ab2103dcb25062b44c960c (350B)

opam-switch

SHA256:5a0f885232e2286b64ec897fa3e53d403073651545b279364c78ccc1bde39a04 (253kB)

Reproduced by 2 builds

• on debian-11, same input, 2023-02-11 15:05:36Z
• on debian-11, same input, 2023-02-10 14:51:36Z

Comparisons with other builds on the same platform

• Latest build 2024-04-17 12:13:56Z
• Later build with different output 2023-02-14 14:59:43Z
• Earlier build with different output 2023-02-09 10:09:35Z

?