Job builder

Build 2022-06-20 18:48:03Z

Built on platform debian-10

Build took 14min10s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:6c6dbec538b3a5c979fa291b15f281872433d0f240ec7a384b185dd144bc6e63 (7.14MB)

opam-switch

SHA256:5b50dbd6de2e98eda49c8417d2acc2f3822950d82d14401846ec7f9d0c3cc0a6 (153kB)

build-environment

SHA256:e799cc397da848793e65e52ea0268d0d71179300227e5de44ff84531f117cb31 (356B)

system-packages

SHA256:8b6b84d61e431372cc6c63e375ef21f8a718184651ebdcaac8d2db6b8cf32c72 (4.34kB)

Reproduced by 4 builds

• on debian-10, same input, 2022-06-19 18:48:15Z
• on debian-10, same input, 2022-06-18 18:48:10Z
• on debian-10, different input, 2022-06-23 18:48:22Z
• on debian-10, different input, 2022-06-17 18:48:46Z

Comparisons with other builds on the same platform

• Latest build 2024-04-30 12:01:32Z
• Later build with different output 2022-06-24 18:48:08Z
• Earlier build with different output 2022-06-15 18:47:56Z

?