Job builder

Build 2024-10-23 14:10:35Z

Platform	Duration	Execution Result
debian-12	4min57s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.33MB): SHA256:bcc3c3a246c12657f3ef5818e3cca1a19c6163bdd50c6596186f1d8848a8aa0e
system-packages (4.37kB): SHA256:e2e6a11d069766f0c00c5b22e00c3a27a8011b1b5c8dcf628dccfaf1f67cd271
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
opam-switch (112kB): SHA256:ba9f0b4c83ae43efd4c12d71b4055d4c9fe51d696f5bc938796ce172b913dc50

Reproduced by 3 builds

on debian-12, same input, 2024-10-24 14:27:07Z
on debian-12, different input, 2024-10-22 14:05:32Z
on debian-12, different input, 2024-10-13 14:05:27Z

Comparisons with other builds on the same platform

Latest build 2025-06-12 09:01:35Z
Later build with different output 2024-10-25 14:05:34Z
Earlier build with different output 2024-10-10 14:05:23Z

?