Job builder

Build 2023-05-15 21:40:32Z

Built on platform ubuntu-18.04

Build took 7min9s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:a770d7742f4731cd5b020fcf56781cea9e5feca2f5be808c636971461022d4c1 (7.2MB)

build-environment

SHA256:ea3e1937497133c1488d57dbac2397fe6bfe7a2828262fadca10d2ac7988cf21 (349B)

opam-switch

SHA256:f372488c0689c54104652359d1a152594152880f17b1c2a93685a0ae53ea5539 (115kB)

system-packages

SHA256:2f969f3a5b09f281b42b0ef4e6db111c13896777a6dd447b20245872bae780ea (5.57kB)

Reproduced by 7 builds

• on ubuntu-18.04, different input, 2023-05-14 21:20:06Z
• on ubuntu-18.04, different input, 2023-04-30 21:40:15Z
• on ubuntu-18.04, different input, 2023-04-26 21:19:52Z
• on ubuntu-18.04, different input, 2023-04-24 21:40:05Z
• on ubuntu-18.04, different input, 2023-04-19 21:18:14Z
• on ubuntu-18.04, different input, 2023-04-18 21:39:56Z
• on ubuntu-18.04, different input, 2023-04-17 21:19:42Z

Comparisons with other builds on the same platform

• Earlier build with different output 2023-04-11 21:19:42Z

?