Job builder
Build 2022-05-21 18:47:31Z
Built on platform debian-10
Build took 13min54s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder.deb
SHA256:490c8ecb0456ca7138f6f6a979e01607aa20b4246e05e23e6992c8855a07fe3c
(7.15MB)opam-switch
SHA256:cecc94232a7f913756ab4f6538974b7946cf3cf2433629a8a5ebcfc5f4fe8d54
(153kB)build-environment
SHA256:e799cc397da848793e65e52ea0268d0d71179300227e5de44ff84531f117cb31
(356B)system-packages
SHA256:9885c6608b882fddb9be433120ce298f96dc6bf27c29da470a76ede3ab8c38ca
(4.34kB)
Reproduced by 12 builds
- on debian-10, same input, 2022-05-20 18:47:43Z
- on debian-10, different input, 2022-06-15 18:47:56Z
- on debian-10, different input, 2022-06-14 18:48:22Z
- on debian-10, different input, 2022-06-12 18:47:52Z
- on debian-10, different input, 2022-05-24 18:47:33Z
- on debian-10, different input, 2022-05-23 18:47:52Z
- on debian-10, different input, 2022-05-19 18:48:06Z
- on debian-10, different input, 2022-05-17 18:47:43Z
- on debian-10, different input, 2022-04-27 18:47:08Z
- on debian-10, different input, 2022-04-22 18:47:25Z
- on debian-10, different input, 2022-04-19 22:49:48Z
- on debian-10, different input, 2022-04-18 18:47:02Z
Comparisons with other builds on the same platform
- Latest build 2024-05-10 12:20:17Z
- Later build with different output 2022-06-16 18:47:51Z
- Earlier build with different output 2022-04-10 18:46:56Z
?