Job solo5

Build 2023-01-02 07:48:55Z

Built on platform debian-10

Build took 4min57s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/solo5.deb

SHA256:ffb7bb9b0c7b8e2aa2c7bf9e7f94694d0b6cf4d466d66762f863140346bf98fe (95.7kB)

build-environment

SHA256:17871057ec8c390a02ac1395c72fe2975a64809ae7a8f367faca6645ba282863 (352B)

opam-switch

SHA256:e3c7b4fc3c92ed07ca3e0a0e51b55ebdc22d492efed001e063e98df0dc46c7f0 (13kB)

system-packages

SHA256:f0b175020829d0f873b41c12a209961f72d0ccc6acca1ca507b6f65e81c94b80 (4.29kB)

Reproduced by 4 builds

• on debian-10, same input, 2022-12-31 11:26:40Z
• 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

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

?