Job builder
Build 2022-07-20 18:52:54Z
Built on platform debian-11
Build took 18min51s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder.deb
SHA256:5b5a2fd865d50582e2804fab795e6c3ab0a80b9b4fae64f65068e70b4cd4c725
(7.08MB)opam-switch
SHA256:a6cb0b1766ea7ad33d1d9579ee0fc5324a2f7cf38dc22217bfb2910ae68b0877
(150kB)build-environment
SHA256:f1d03011c155507f70fda7e65c60c65b22255d13eb60a2124d261bb1370bc28a
(356B)system-packages
SHA256:0c77596dee3c4acc569bb68b3abdbd90b137bcb7a7d770fa4a90a093aacc4e29
(4.23kB)
Reproduced by 14 builds
- on debian-11, same input, 2022-07-19 18:48:27Z
- on debian-11, same input, 2022-07-18 18:48:30Z
- on debian-11, same input, 2022-07-17 18:48:25Z
- on debian-11, same input, 2022-07-16 18:48:20Z
- on debian-11, same input, 2022-07-15 18:48:47Z
- on debian-11, same input, 2022-07-14 18:48:41Z
- on debian-11, same input, 2022-07-13 18:48:25Z
- on debian-11, same input, 2022-07-12 18:48:39Z
- on debian-11, same input, 2022-07-11 18:48:40Z
- on debian-11, same input, 2022-07-10 18:48:25Z
- on debian-11, same input, 2022-07-09 18:48:31Z
- on debian-11, different input, 2022-07-24 18:52:42Z
- on debian-11, different input, 2022-07-21 18:53:09Z
- on debian-11, different input, 2022-07-08 18:48:26Z
Comparisons with other builds on the same platform
- Latest build 2024-05-18 12:01:52Z
- Later build with different output 2022-07-25 18:52:36Z
- Earlier build with different output 2022-07-04 18:48:17Z
?