Job solo5
Build 2023-01-03 13:18:49Z
Built on platform ubuntu-20.04
Build took 1min33s.
Execution result: exited 0.
Build info
Build artifacts
bin/solo5.deb
SHA256:e3547ae0b03881837677601891e46267477e33d57d854f9f6bc122c44be200dd
(104kB)opam-switch
SHA256:e3c7b4fc3c92ed07ca3e0a0e51b55ebdc22d492efed001e063e98df0dc46c7f0
(13kB)system-packages
SHA256:ed3c24a101e63e89f25b8b6f061553516444ea9b0dd4f7a1d25a3b48adcfb009
(5.53kB)build-environment
SHA256:1961400b48a9ca0a70a7a968af0567b3077b38c110a6237f12f361ad78372fd9
(355B)
Reproduced by 41 builds
- on ubuntu-20.04, same input, 2023-01-05 13:18:56Z
- on ubuntu-20.04, same input, 2023-01-04 13:18:52Z
- on ubuntu-20.04, same input, 2023-01-02 13:18:45Z
- on ubuntu-20.04, same input, 2023-01-01 13:18:41Z
- on ubuntu-20.04, same input, 2022-12-30 13:18:34Z
- on ubuntu-20.04, different input, 2023-07-28 18:17:42Z
- on ubuntu-20.04, different input, 2023-07-23 17:35:40Z
- on ubuntu-20.04, different input, 2023-07-18 17:57:44Z
- on ubuntu-20.04, different input, 2023-07-06 17:56:54Z
- on ubuntu-20.04, different input, 2023-06-27 17:53:13Z
- on ubuntu-20.04, different input, 2023-06-07 13:31:01Z
- on ubuntu-20.04, different input, 2023-06-06 13:30:55Z
- on ubuntu-20.04, different input, 2023-06-05 13:30:50Z
- on ubuntu-20.04, different input, 2023-05-31 13:30:24Z
- on ubuntu-20.04, different input, 2023-05-30 13:30:18Z
- on ubuntu-20.04, different input, 2023-05-24 13:29:47Z
- on ubuntu-20.04, different input, 2023-05-22 13:29:38Z
- on ubuntu-20.04, different input, 2023-05-01 13:27:46Z
- on ubuntu-20.04, different input, 2023-04-27 13:27:26Z
- on ubuntu-20.04, different input, 2023-04-26 13:27:21Z
- on ubuntu-20.04, different input, 2023-04-25 13:27:15Z
- on ubuntu-20.04, different input, 2023-04-19 13:26:44Z
- on ubuntu-20.04, different input, 2023-04-18 13:26:39Z
- on ubuntu-20.04, different input, 2023-04-12 13:26:08Z
- on ubuntu-20.04, different input, 2023-03-27 13:24:53Z
- on ubuntu-20.04, different input, 2023-03-20 13:24:28Z
- on ubuntu-20.04, different input, 2023-03-17 13:24:17Z
- on ubuntu-20.04, different input, 2023-03-02 13:23:11Z
- on ubuntu-20.04, different input, 2023-02-26 13:22:53Z
- on ubuntu-20.04, different input, 2023-02-20 13:21:37Z
- on ubuntu-20.04, different input, 2023-02-14 13:21:14Z
- on ubuntu-20.04, different input, 2023-02-08 13:20:53Z
- on ubuntu-20.04, different input, 2023-02-07 13:20:50Z
- on ubuntu-20.04, different input, 2023-01-25 13:20:06Z
- on ubuntu-20.04, different input, 2023-01-19 13:19:47Z
- on ubuntu-20.04, different input, 2023-01-17 13:19:40Z
- on ubuntu-20.04, different input, 2023-01-12 13:19:21Z
- on ubuntu-20.04, different input, 2023-01-06 13:19:00Z
- on ubuntu-20.04, different input, 2022-12-29 13:18:30Z
- on ubuntu-20.04, different input, 2022-12-28 13:18:26Z
- on ubuntu-20.04, different input, 2022-12-23 13:18:07Z
Comparisons with other builds on the same platform
- Latest build 2024-05-21 13:02:39Z
- Later build with different output 2023-08-25 17:33:24Z
- Earlier build with different output 2022-12-17 13:17:45Z
?