Job albatross

Build 2023-05-25 12:39:44Z

Built on platform debian-10

Build took 5min24s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/albatross.deb

SHA256:863c7a0916be8fb690f6e86e7891c6423b2f5676e60cd643db64010ff1f6d78c (18MB)

build-environment

SHA256:4621a77bf7a2e61bb2e05fc599d9d43904e62a5ee3241bb3a46056cd45a97e14 (348B)

opam-switch

SHA256:ccfa24a0a69a9d474f19a4fae5f1121bd4b1db136c6ff677f433ae002493c01e (128kB)

system-packages

SHA256:b66ef3c30ce433e372cb27cf05b806062e7a46b06f4c03b701770702a9e129b4 (4.49kB)

Reproduced by 7 builds

• on debian-10, same input, 2023-05-27 12:39:46Z
• on debian-10, same input, 2023-05-26 12:39:45Z
• on debian-10, same input, 2023-05-24 12:39:43Z
• on debian-10, same input, 2023-05-23 12:39:43Z
• on debian-10, same input, 2023-05-22 12:39:42Z
• on debian-10, same input, 2023-05-21 12:39:41Z
• on debian-10, same input, 2023-05-20 12:39:40Z

Comparisons with other builds on the same platform

• Latest build 2023-06-01 12:39:50Z
• Later build with different output 2023-05-28 12:39:47Z
• Earlier build with different output 2023-05-19 12:39:39Z

?