Job builder

Build 2023-05-31 21:18:50Z

Built on platform debian-10

Build took 5min18s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/builder.deb

SHA256:ecac9bd2789abd9e54e8a58d17e864986bf8661670b8131ec8c018bcb9652d83 (7.68MB)

system-packages

SHA256:ba9528325265517e9045af42e95e8a26e030327a7bebac17e596b50d7f58ed60 (4.38kB)

build-environment

SHA256:1f6920bce21ab9336439dbaa7473553da90a4a476ec4932ef1448e6938dfe6ef (346B)

opam-switch

SHA256:7f0e08de617df85956197c0cbe3bd915549a58a76a39ead2523e0e5adb5eb0bf (114kB)

Reproduced by 1 builds

• on debian-10, different input, 2023-06-01 21:19:55Z

Comparisons with other builds on the same platform

• Latest build 2024-05-03 12:09:38Z
• Later build with different output 2023-09-06 10:41:01Z
• Earlier build with different output 2023-05-30 21:33:53Z

?