Job builder

Build 2026-02-03 09:31:24Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.38MB): SHA256:41875c94ce30628ee53c36f799a7635df1ad830d674f4fdd85b5dbfa9ae6ca8c
opam-switch (112kB): SHA256:e128f36286baff54f0c5cfdbc5061e57206c9cd971b025f0b4078ceecf00b851
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.54kB): SHA256:e913115a79ca6f45d80572f69a84736f120cab483375d4f356805f4c4ce46c1b

Reproduced by 0 builds

Comparisons with other builds on the same platform

Earlier build with different output 2026-02-02 10:07:39Z

?