Job solo5
Build 2023-09-09 21:27:16Z
Built on platform debian-10
Build took 1min6s.
Execution result: exited 0.
Build info
Build artifacts
bin/solo5.deb
SHA256:ffb7bb9b0c7b8e2aa2c7bf9e7f94694d0b6cf4d466d66762f863140346bf98fe
(95.7kB)system-packages
SHA256:3b6a4d09f3a1abe2c0e021826e48c6c41e346bed19c420b64cb752469ae3b332
(4.35kB)build-environment
SHA256:17871057ec8c390a02ac1395c72fe2975a64809ae7a8f367faca6645ba282863
(352B)opam-switch
SHA256:0e294c6312d413c5d40166f08401c11c0690584d8395c6ed6e6ddc8f5fd8e3cc
(12.5kB)
Reproduced by 37 builds
- on debian-10, same input, 2023-09-08 21:20:16Z
- on debian-10, different input, 2024-05-09 11:51:05Z
- on debian-10, different input, 2024-05-03 11:51:21Z
- on debian-10, different input, 2024-04-30 11:41:35Z
- on debian-10, different input, 2024-04-06 11:41:15Z
- on debian-10, different input, 2024-03-27 12:32:01Z
- on debian-10, different input, 2024-03-25 11:41:04Z
- on debian-10, different input, 2024-03-16 12:06:36Z
- on debian-10, different input, 2024-03-09 11:56:56Z
- on debian-10, different input, 2024-02-20 15:24:07Z
- on debian-10, different input, 2023-12-24 12:52:42Z
- on debian-10, different input, 2023-12-18 12:52:35Z
- on debian-10, different input, 2023-12-13 12:23:32Z
- on debian-10, different input, 2023-12-12 12:51:07Z
- on debian-10, different input, 2023-12-03 12:44:37Z
- on debian-10, different input, 2023-10-30 21:26:37Z
- on debian-10, different input, 2023-10-21 21:26:31Z
- on debian-10, different input, 2023-10-15 21:26:25Z
- on debian-10, different input, 2023-10-10 21:41:23Z
- on debian-10, different input, 2023-09-27 21:26:06Z
- on debian-10, different input, 2023-09-24 21:28:16Z
- on debian-10, different input, 2023-09-18 21:27:22Z
- on debian-10, different input, 2023-09-07 21:47:33Z
- on debian-10, different input, 2023-06-01 21:18:51Z
- on debian-10, different input, 2023-04-29 21:18:22Z
- on debian-10, different input, 2023-04-20 21:18:15Z
- on debian-10, different input, 2023-02-26 21:24:30Z
- on debian-10, different input, 2023-02-23 21:24:29Z
- on debian-10, different input, 2023-02-22 21:24:01Z
- on debian-10, different input, 2023-02-20 21:41:55Z
- on debian-10, different input, 2023-02-19 21:17:23Z
- on debian-10, different input, 2023-02-14 14:43:44Z
- on debian-10, different input, 2023-02-09 10:37:39Z
- on debian-10, different input, 2023-01-02 07:48:55Z
- on debian-10, different input, 2022-12-30 10:12:03Z
- on debian-10, different input, 2022-12-28 10:47:18Z
- on debian-10, different input, 2022-12-21 09:56:19Z
Comparisons with other builds on the same platform
- Latest build 2024-05-09 11:51:05Z
- Earlier build with different output 2022-12-17 12:06:30Z
?