Job builder
Build 2021-08-13 18:29:06Z
Built on platform debian-10
Build took 7min32s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder.deb
SHA256:9689b595c9cbadabb62b94e7437877fb6b768eeb460a8d4da65fc85179e224bb
(2.63MB)opam-switch
SHA256:4a6a482b37625c129ac69ec847a713e9e566e42f7df0f94c7a8c603d97896260
(55.6kB)build-environment
SHA256:2a4d625126abebe651953e513fcb6ea7408f87799120b6bda97e69fc61deff45
(229B)system-packages
SHA256:0731c432072c79c8cb0a5bf015f3a1312627f3f12c9dc19448bf6e40fc61959c
(3.46kB)
Reproduced by 8 builds
- on debian-10, same input, 2021-08-12 18:28:59Z
- on debian-10, same input, 2021-08-11 18:28:53Z
- on debian-10, same input, 2021-08-10 18:28:46Z
- on debian-10, same input, 2021-08-09 18:28:39Z
- on debian-10, same input, 2021-08-08 18:28:34Z
- on debian-10, same input, 2021-08-07 18:28:27Z
- on debian-10, same input, 2021-08-06 18:28:21Z
- on debian-10, same input, 2021-08-05 18:28:15Z
Comparisons with other builds on the same platform
- Latest build 2024-04-17 11:41:24Z
- Later build with different output 2021-08-14 18:29:11Z
- Earlier build with different output 2021-08-04 18:28:10Z
?