Job builder

Build 2023-09-06 10:14:49Z

Built on platform ubuntu-18.04

Build took 7min15s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:4e0c48742fb1faf92b041df746dce1c8b4569d9292e596ec425b2b15492a5634 (7.23MB)

system-packages

SHA256:54a28126f08774349dc6690cc293c99d8cfcbf1e98577347d5f3bdafab764175 (5.57kB)

build-environment

SHA256:ea3e1937497133c1488d57dbac2397fe6bfe7a2828262fadca10d2ac7988cf21 (349B)

opam-switch

SHA256:8db9a60ec95bada6b734f008b1657ea4ce933b38602c0454caba0aabecb73b30 (115kB)

Reproduced by 6 builds

• on ubuntu-18.04, same input, 2023-09-08 21:21:44Z
• on ubuntu-18.04, same input, 2023-09-07 21:20:15Z
• on ubuntu-18.04, same input, 2023-09-06 21:42:21Z
• on ubuntu-18.04, different input, 2023-09-13 21:20:20Z
• on ubuntu-18.04, different input, 2023-09-12 21:42:08Z
• on ubuntu-18.04, different input, 2023-09-10 21:20:18Z

Comparisons with other builds on the same platform

• Latest build 2023-11-20 12:38:33Z
• Later build with different output 2023-09-14 21:21:50Z
• Earlier build with different output 2023-05-15 21:40:32Z

?