Job builder

Build 2025-08-24 09:23:57Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.33MB): SHA256:d125646ca16139b3f91228e0dc4778e2cf93944cbd0ff9871a0e7ef250ab3088
system-packages (4.54kB): SHA256:11d712ec41b66a560b1c59de1cb663229f5a15318e5dfcb88ccf046a03c281a1
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
opam-switch (111kB): SHA256:367448256d9d89a06520483300fc636a12786162e6416c0ae5daeafc7a7ef3fc

Reproduced by 1 builds

on debian-12, same input, 2025-08-25 09:43:16Z

Comparisons with other builds on the same platform

Latest build 2025-08-28 09:48:02Z
Later build with different output 2025-08-26 09:10:46Z
Earlier build with different output 2025-08-22 09:43:11Z

?