Job builder
Build 2022-08-09 10:42:32Z
Built on platform debian-10
Build took 20min38s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder.deb
SHA256:11401f119b9f1b2222c2aa27f7db24ff1a938e827dad67c33c9e950c7b1e78cc
(7.15MB)opam-switch
SHA256:7f1d9e5b5175b07b12ab2b2a96d9df3b6faf29ce4a9bffcb9f06daf81fd72fba
(152kB)build-environment
SHA256:1f6920bce21ab9336439dbaa7473553da90a4a476ec4932ef1448e6938dfe6ef
(346B)system-packages
SHA256:bcdbd24521711bc6fc73b0d391db69ceef6c1d7800fca57bae9568fb6f0a1586
(4.34kB)
Reproduced by 2 builds
- on debian-10, different input, 2022-08-15 10:43:33Z
- on debian-10, different input, 2022-08-08 10:01:56Z
Comparisons with other builds on the same platform
- Latest build 2024-05-06 12:01:31Z
- Later build with different output 2022-08-16 09:40:01Z
- Earlier build with different output 2022-08-04 10:10:15Z
?