Job builder-web

Build 2022-12-12 11:34:38Z

Built on platform debian-10

Build took 25min17s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder-web.deb

SHA256:c3b15a22e35ce50f1b0f789bf15c4e35798dfb508abbf915ab85d389bc7a14a3 (12.4MB)

opam-switch

SHA256:4f3c23a2c45cd2575aa5a62169e90fe680fe50ec67751663c729450a6e864660 (246kB)

build-environment

SHA256:7928caf32f5f53b5739afc9185cb7450d89b7e027cc9ce11b20f2d99af5a60cb (350B)

system-packages

SHA256:050e49ec426cf5f7fe0c161b784b12fdf48c327e254c5f51d423c50c1e504be6 (4.47kB)

Reproduced by 3 builds

• on debian-10, same input, 2022-12-11 10:57:46Z
• on debian-10, same input, 2022-12-10 09:59:31Z
• on debian-10, same input, 2022-12-09 11:40:21Z

Comparisons with other builds on the same platform

• Latest build 2024-04-23 12:14:38Z
• Later build with different output 2022-12-13 09:55:48Z
• Earlier build with different output 2022-12-08 10:51:57Z

?