Job builder
Build 2022-07-20 18:52:55Z
Built on platform debian-10
Build took 16min41s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder.deb
SHA256:d9af4f0e7f92f4d9db91ada34a1df176093754a70386b48ef0d713a54f3ce90d
(7.13MB)opam-switch
SHA256:a6cb0b1766ea7ad33d1d9579ee0fc5324a2f7cf38dc22217bfb2910ae68b0877
(150kB)build-environment
SHA256:e799cc397da848793e65e52ea0268d0d71179300227e5de44ff84531f117cb31
(356B)system-packages
SHA256:f7ca062bd2a014399caaac620b9047b8c2d9b9a4be787952ff7e34c6efe7719e
(4.34kB)
Reproduced by 17 builds
- on debian-10, same input, 2022-07-19 18:48:27Z
- on debian-10, same input, 2022-07-18 18:48:18Z
- on debian-10, same input, 2022-07-17 18:48:27Z
- on debian-10, same input, 2022-07-16 18:48:19Z
- on debian-10, same input, 2022-07-15 18:48:37Z
- on debian-10, same input, 2022-07-14 18:48:33Z
- on debian-10, same input, 2022-07-13 18:48:16Z
- on debian-10, same input, 2022-07-12 18:48:32Z
- on debian-10, same input, 2022-07-11 18:48:32Z
- on debian-10, same input, 2022-07-10 18:48:16Z
- on debian-10, same input, 2022-07-09 18:48:29Z
- on debian-10, same input, 2022-07-08 18:48:17Z
- on debian-10, same input, 2022-07-07 18:48:30Z
- on debian-10, same input, 2022-07-06 18:48:11Z
- on debian-10, same input, 2022-07-05 19:04:26Z
- on debian-10, different input, 2022-07-24 18:52:44Z
- on debian-10, different input, 2022-07-21 18:53:11Z
Comparisons with other builds on the same platform
- Latest build 2024-05-18 12:01:55Z
- Later build with different output 2022-07-25 18:52:39Z
- Earlier build with different output 2022-07-04 18:48:08Z
?