Job builder
Build 2022-04-07 18:46:58Z
Built on platform debian-10
Build took 13min48s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder.deb
SHA256:ae939580f39e4f45beefeadda1140f6125949cff17aa8786be9f3f8f0b60d484
(7.14MB)opam-switch
SHA256:50e10034a2e9909269e11c76fa63943d2f7c4571caa69f88ebdc662fee180e8d
(153kB)build-environment
SHA256:e799cc397da848793e65e52ea0268d0d71179300227e5de44ff84531f117cb31
(356B)system-packages
SHA256:966bb35bf424fadea99f90c6175101038ca4e628316ebd44fa7d3b109e4013fb
(4.33kB)
Reproduced by 2 builds
- on debian-10, different input, 2022-04-06 18:46:47Z
- on debian-10, different input, 2022-04-05 18:46:43Z
Comparisons with other builds on the same platform
- Latest build 2024-04-23 11:41:29Z
- Later build with different output 2022-04-08 18:46:43Z
- Earlier build with different output 2022-03-31 18:52:02Z
?