Job builder

Build 2026-05-20 10:05:07Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.42MB): SHA256:db16b65e2e95c633cb2b3f04e9afc76ccdfa8b9d67edfe2f494988b3e3e7e491
opam-switch (112kB): SHA256:ad5d6a8ee2d8d58f80a23145ed66d988a6d8dd35b255c0439771dff0b64d4f1a
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.54kB): SHA256:c98e9916ebeca779b38c94c4d8bb537143f87ae5358be7f97efdd19cb4e143a1

Reproduced by 5 builds

on debian-12, different input, 2026-05-19 10:08:46Z
on debian-12, different input, 2026-05-16 10:07:48Z
on debian-12, different input, 2026-05-15 10:05:43Z
on debian-12, different input, 2026-05-13 10:06:38Z
on debian-12, different input, 2026-05-09 09:52:50Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-05-08 10:06:42Z

?