Job builder
Build 2022-06-22 18:48:10Z
Built on platform debian-10
Build took 14min31s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder.deb
SHA256:6c6dbec538b3a5c979fa291b15f281872433d0f240ec7a384b185dd144bc6e63
(7.14MB)opam-switch
SHA256:ad5f29a98a9b0f3fe43eeddd7614529e6bd8721ca74e44dd04c99616177d62a1
(153kB)build-environment
SHA256:e799cc397da848793e65e52ea0268d0d71179300227e5de44ff84531f117cb31
(356B)system-packages
SHA256:8b6b84d61e431372cc6c63e375ef21f8a718184651ebdcaac8d2db6b8cf32c72
(4.34kB)
Reproduced by 4 builds
- on debian-10, same input, 2022-06-23 18:48:22Z
- on debian-10, same input, 2022-06-21 18:48:18Z
- on debian-10, different input, 2022-06-20 18:48:03Z
- on debian-10, different input, 2022-06-17 18:48:46Z
Comparisons with other builds on the same platform
- Latest build 2024-03-29 12:19:39Z
- Later build with different output 2022-06-24 18:48:08Z
- Earlier build with different output 2022-06-15 18:47:56Z
?