Job solo5

Build 2023-01-02 07:49:28Z

Built on platform ubuntu-18.04

Build took 6min2s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/solo5.deb

SHA256:d200da4210fde1333c0cd6218e59d451b627aca8fdfd123a4fee22347a6e56a9 (91.7kB)

build-environment

SHA256:e9ca4975e71cfad180fd8ff132668156d78100309d15c185a9fb045e389eeb16 (355B)

opam-switch

SHA256:e3c7b4fc3c92ed07ca3e0a0e51b55ebdc22d492efed001e063e98df0dc46c7f0 (13kB)

system-packages

SHA256:c2f91657fea60f4006456d91f5f1d0ec7bd54e9643b47b814e45b80f9c07164c (5.56kB)

Reproduced by 3 builds

• on ubuntu-18.04, same input, 2022-12-31 11:22:12Z
• on ubuntu-18.04, different input, 2022-12-30 10:12:22Z
• on ubuntu-18.04, different input, 2022-12-28 10:48:15Z

Comparisons with other builds on the same platform

• Earlier build with different output 2022-12-17 12:06:56Z

?