Job builder

Build 2024-10-26 14:11:01Z

Platform	Duration	Execution Result
debian-12	5min3s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.32MB): SHA256:6469980d5907e57f8c6324c446d474983afbfebcaa81e8dce45b12f43d37e582
system-packages (4.37kB): SHA256:e2e6a11d069766f0c00c5b22e00c3a27a8011b1b5c8dcf628dccfaf1f67cd271
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
opam-switch (113kB): SHA256:dce108b4d84333851ccc8f46ce43a4010b4a189f747a30f608014f0547bd802e

Reproduced by 3 builds

on debian-12, same input, 2024-10-28 14:05:39Z
on debian-12, same input, 2024-10-27 14:26:51Z
on debian-12, same input, 2024-10-25 14:05:34Z

Comparisons with other builds on the same platform

Latest build 2025-06-25 09:11:14Z
Later build with different output 2024-10-30 14:26:44Z
Earlier build with different output 2024-10-24 14:27:07Z

?