Job builder-web

Build 2023-04-28 14:38:21Z

Built on platform debian-11

Build took 12min6s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder-web.deb

SHA256:660c07fe25d0163a452d469c2ecdef92294ac654d7171ec8ec032fbb8e9f4ae4 (14.3MB)

system-packages

SHA256:2de4f6d5147aab88f7755189963d0b082aaa5d32d78d6d690e167f240b85d6e9 (4.54kB)

build-environment

SHA256:f2bac1d7b9a204a2fafa1b55e7eef968a338ec2ab7ab2103dcb25062b44c960c (350B)

opam-switch

SHA256:14daa92244566eaa00f216e7ac5dfdacf72861049ba41d05fce8897cfaaf52e0 (252kB)

Reproduced by 10 builds

• on debian-11, same input, 2023-04-27 14:38:20Z
• on debian-11, same input, 2023-04-26 14:38:20Z
• on debian-11, same input, 2023-04-25 14:38:19Z
• on debian-11, same input, 2023-04-24 14:38:18Z
• on debian-11, same input, 2023-04-23 14:38:17Z
• on debian-11, same input, 2023-04-22 14:38:16Z
• on debian-11, same input, 2023-04-21 14:38:15Z
• on debian-11, different input, 2023-05-02 14:38:25Z
• on debian-11, different input, 2023-04-20 14:38:14Z
• on debian-11, different input, 2023-04-19 14:38:14Z

Comparisons with other builds on the same platform

• Latest build 2024-05-19 11:41:52Z
• Later build with different output 2023-05-03 14:38:25Z
• Earlier build with different output 2023-04-17 14:38:12Z

?