Job builder

Build 2022-12-08 19:55:06Z

Built on platform ubuntu-20.04

Build took 6min7s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:954bc9304731d39fc67ba9d4f29b6096a5b8a966f217e2e1557b91572f7ef470 (7.27MB)

opam-switch

SHA256:213b0b43b94b25be558b653b8eacdf951ce6dc332dfaa9914c3880e66a8b1f63 (154kB)

system-packages

SHA256:80bf30b7fd0818a97a5b0f497fc0e9498037569ddf305bbd07d2f5fecc6ac73b (5.57kB)

build-environment

SHA256:0c2b94a6e94d50315111cd89e38e2513882e714c4bb90ab65169ce6195492a2d (349B)

Reproduced by 7 builds

• on ubuntu-20.04, same input, 2022-12-11 19:47:51Z
• on ubuntu-20.04, same input, 2022-12-10 19:41:54Z
• on ubuntu-20.04, same input, 2022-12-09 20:01:42Z
• on ubuntu-20.04, different input, 2022-12-15 20:02:03Z
• on ubuntu-20.04, different input, 2022-12-14 20:08:29Z
• on ubuntu-20.04, different input, 2022-12-13 19:34:31Z
• on ubuntu-20.04, different input, 2022-12-12 20:08:56Z

Comparisons with other builds on the same platform

• Latest build 2024-05-21 13:19:59Z
• Later build with different output 2022-12-16 19:42:51Z
• Earlier build with different output 2022-12-07 19:57:20Z

?