Job builder
Build 2022-08-25 10:41:57Z
Built on platform debian-10
Build took 19min12s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder.deb
SHA256:f989f6332785392b5aca27b5248400d930364d2bece8f2459f28bd475e5b673a
(7.15MB)build-environment
SHA256:1f6920bce21ab9336439dbaa7473553da90a4a476ec4932ef1448e6938dfe6ef
(346B)opam-switch
SHA256:493c78e6b401014795bd16c3b425f79de08d42f5664685b8dc2608629ce6acb7
(153kB)system-packages
SHA256:bcdbd24521711bc6fc73b0d391db69ceef6c1d7800fca57bae9568fb6f0a1586
(4.34kB)
Reproduced by 8 builds
- on debian-10, same input, 2022-08-24 09:55:47Z
- on debian-10, same input, 2022-08-23 10:10:17Z
- on debian-10, same input, 2022-08-22 09:39:34Z
- on debian-10, same input, 2022-08-21 10:28:06Z
- on debian-10, same input, 2022-08-20 09:55:52Z
- on debian-10, same input, 2022-08-19 14:54:55Z
- on debian-10, same input, 2022-08-17 10:14:49Z
- on debian-10, same input, 2022-08-16 09:40:01Z
Comparisons with other builds on the same platform
- Latest build 2024-04-25 12:27:59Z
- Later build with different output 2022-08-26 09:36:41Z
- Earlier build with different output 2022-08-15 10:43:33Z
?