Job builder

Build 2025-02-06 09:08:22Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.32MB): SHA256:97ed7c36b80890b46975b0df3eb09eafcec29e99b2b91f0f53b9e883c96d6e21
system-packages (4.38kB): SHA256:468fe6f396c1e3713bc34c51a72cb2170a4c104c8d79ff22f8b9020c3e9102cb
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
opam-switch (112kB): SHA256:7fc26af6d3958fb7b860f30e2b271050f19436c2452cea824981a1904f56bae0

Reproduced by 1 builds

on debian-12, different input, 2025-02-05 09:12:46Z

Comparisons with other builds on the same platform

Latest build 2025-06-24 09:01:46Z
Later build with different output 2025-02-07 09:11:33Z
Earlier build with different output 2025-02-02 09:12:53Z

?