Job builder
Build 2022-01-23 15:51:13Z
Built on platform ubuntu-20.04
Build took 5min31s.
Execution result: exited 0.
Build info
Build artifacts
bin/builder.deb
SHA256:8672dc1a0887a094bbefe13421367e169e165ddbeed9f48390b045ab681ebad2
(7.17MB)opam-switch
SHA256:9769cda29a4cfa762f1fb8d99f33c6ce4299bf058703a59f74e5b1b87afd0483
(152kB)system-packages
SHA256:128148720fc8fa56b6ae16aa7b7080d5d57f857fa010d5306b9db3ae971cea5d
(4.89kB)build-environment
SHA256:6f580f9e4645a331719b95608d66275ba052fd5bbd88e79fb86e2e9c3ff22afd
(359B)
Reproduced by 9 builds
- on ubuntu-20.04, same input, 2022-01-22 15:57:33Z
- on ubuntu-20.04, same input, 2022-01-21 15:45:58Z
- on ubuntu-20.04, different input, 2022-01-27 15:51:28Z
- on ubuntu-20.04, different input, 2022-01-25 15:46:13Z
- on ubuntu-20.04, different input, 2022-01-24 15:53:45Z
- on ubuntu-20.04, different input, 2022-01-20 15:53:00Z
- on ubuntu-20.04, different input, 2022-01-18 15:57:55Z
- on ubuntu-20.04, different input, 2022-01-17 15:45:43Z
- on ubuntu-20.04, different input, 2022-01-15 15:50:45Z
Comparisons with other builds on the same platform
- Latest build 2024-05-26 13:02:56Z
- Later build with different output 2022-01-28 15:52:47Z
- Earlier build with different output 2022-01-16 15:51:56Z
?