Job solo5

Build 2023-07-28 18:17:42Z

Built on platform ubuntu-20.04

Build took 1min41s.

Execution result: exited 0.

Build info

Build artifacts

bin/solo5.deb: SHA256:e3547ae0b03881837677601891e46267477e33d57d854f9f6bc122c44be200dd (104kB)
opam-switch: SHA256:3b193ad5430d6046c047df4ebe88b0950c27920fa662eb16706f3834720352ed (12.5kB)
system-packages: SHA256:0268758da0b02d7d705edf7f96d3f512102ae3d6695322bb35bc3a307cbbe484 (5.53kB)
build-environment: SHA256:1961400b48a9ca0a70a7a968af0567b3077b38c110a6237f12f361ad78372fd9 (355B)

Reproduced by 40 builds

on ubuntu-20.04, same input, 2023-07-27 17:51:51Z
on ubuntu-20.04, same input, 2023-07-26 17:29:00Z
on ubuntu-20.04, same input, 2023-07-25 18:12:41Z
on ubuntu-20.04, same input, 2023-07-24 17:58:19Z
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, 2023-01-05 13:18:56Z
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-04-22 13:53:42Z
Later build with different output 2023-08-25 17:33:24Z
Earlier build with different output 2022-12-17 13:17:45Z