Job builder-web
Build 2022-07-10 11:47:06Z
Built on platform debian-10
Build took 14min52s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder-web.deb
SHA256:fef8f80f954755c52757f996dd927016995d172e81fa4c6fbffef2d3befc9654
(12.3MB)opam-switch
SHA256:b674b2b2c851a926c85a68c5d617667050e08a60ad9971b6fbf6e3c767685762
(245kB)build-environment
SHA256:f843d6d0f5bd6ac9ac837080fcb4102311332e06d325dc8ca0cfe7cbd9f51241
(360B)system-packages
SHA256:49ddcc95ff1a281a187cd730e4d7a8f6a1eb573aaa6415a1b71d75f7aea43e7c
(4.46kB)
Reproduced by 6 builds
- on debian-10, same input, 2022-07-11 11:47:07Z
- on debian-10, same input, 2022-07-09 11:47:05Z
- on debian-10, same input, 2022-07-08 11:47:05Z
- on debian-10, same input, 2022-07-07 11:47:04Z
- on debian-10, same input, 2022-07-06 11:47:03Z
- on debian-10, same input, 2022-07-05 11:47:02Z
Comparisons with other builds on the same platform
- Latest build 2024-03-29 11:49:47Z
- Later build with different output 2022-07-12 11:47:08Z
- Earlier build with different output 2022-07-04 11:47:02Z
?