Job builder

Build 2022-01-30 15:57:57Z

Built on platform ubuntu-20.04

Build took 5min28s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:84c9301055806983e97420d4e45f28187801ba059f20701c4ccf9ec3fd78d3e5 (7.18MB)

opam-switch

SHA256:c4c84da119d52d96bfbf41cb35b315e2c539a7ea15262406c24afefff07765c8 (152kB)

system-packages

SHA256:128148720fc8fa56b6ae16aa7b7080d5d57f857fa010d5306b9db3ae971cea5d (4.89kB)

build-environment

SHA256:6f580f9e4645a331719b95608d66275ba052fd5bbd88e79fb86e2e9c3ff22afd (359B)

Reproduced by 4 builds

• on ubuntu-20.04, different input, 2022-02-08 15:52:19Z
• on ubuntu-20.04, different input, 2022-02-06 15:46:59Z
• on ubuntu-20.04, different input, 2022-02-01 15:52:45Z
• on ubuntu-20.04, different input, 2022-01-29 15:46:29Z

Comparisons with other builds on the same platform

• Latest build 2024-05-19 13:36:45Z
• Later build with different output 2022-02-09 15:53:45Z
• Earlier build with different output 2022-01-28 15:52:47Z

?