Job builder
Build 2023-04-18 21:39:31Z
Built on platform debian-10
Build took 7min17s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder.deb
SHA256:d6aed56459e8830d139f2a1e18f72dfff2ab6e7e291f931a78e9d42fa5d6bd68
(7.67MB)system-packages
SHA256:f17c81f68f7b404610194aa8ea3b0948c9a15d1e59837851ec5015186ceb8d10
(4.38kB)build-environment
SHA256:1f6920bce21ab9336439dbaa7473553da90a4a476ec4932ef1448e6938dfe6ef
(346B)opam-switch
SHA256:c46ddff5587a2d2ff6a364ee49d59ca2e66db55cfa4ba8ae08bbe7baa5bbcb9f
(115kB)
Reproduced by 9 builds
- on debian-10, same input, 2023-04-17 21:19:30Z
- on debian-10, same input, 2023-04-16 21:18:11Z
- on debian-10, same input, 2023-04-15 21:39:31Z
- on debian-10, same input, 2023-04-14 21:19:30Z
- on debian-10, same input, 2023-04-13 21:18:09Z
- on debian-10, same input, 2023-04-12 21:39:20Z
- on debian-10, different input, 2023-05-30 21:33:53Z
- on debian-10, different input, 2023-04-29 21:19:41Z
- on debian-10, different input, 2023-04-20 21:19:33Z
Comparisons with other builds on the same platform
- Latest build 2024-05-06 12:01:31Z
- Later build with different output 2023-05-31 21:18:50Z
- Earlier build with different output 2023-04-11 21:19:26Z
?