Job builder

Build 2023-09-13 21:20:20Z

Built on platform ubuntu-18.04

Build took 7min38s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:4e0c48742fb1faf92b041df746dce1c8b4569d9292e596ec425b2b15492a5634 (7.23MB)

system-packages

SHA256:d74cd9bb54bf68e558b56ec1514902b650cbc6232390bf3964b7327604a3f0c7 (5.57kB)

build-environment

SHA256:ea3e1937497133c1488d57dbac2397fe6bfe7a2828262fadca10d2ac7988cf21 (349B)

opam-switch

SHA256:d5630c0d96612b4b8f26457dacac9659121b971e967068a5e29a2ea90f63f72c (115kB)

Reproduced by 3 builds

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

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

?