Job builder-web

Build 2022-08-22 10:24:06Z

Built on platform debian-10

Build took 15min24s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder-web.deb

SHA256:c895bccdc071d2e5bf5939464bf4abadad93843dc5c752a4e9a9ae542f393a2a (12.4MB)

opam-switch

SHA256:03845e9700549f819b5bd89fae3a87293701b22fee8aec02eab6b91805ae1b04 (245kB)

build-environment

SHA256:7928caf32f5f53b5739afc9185cb7450d89b7e027cc9ce11b20f2d99af5a60cb (350B)

system-packages

SHA256:4f831ac815560713dae4167c3841fc5c33a219da1dc44394fb4541caf1c35e32 (4.46kB)

Reproduced by 4 builds

• on debian-10, same input, 2022-08-21 10:05:14Z
• on debian-10, same input, 2022-08-20 09:39:30Z
• on debian-10, same input, 2022-08-19 14:23:39Z
• on debian-10, different input, 2022-08-17 09:51:15Z

Comparisons with other builds on the same platform

• Latest build 2024-04-25 11:41:31Z
• Later build with different output 2022-08-23 10:38:05Z
• Earlier build with different output 2022-08-15 10:13:36Z

?