Job builder

Build 2025-07-12 09:02:04Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.32MB): SHA256:23e1dd4915557b989ea71f951091e18bfd8aeb2e8227c6782a76d86c8e0a3dad
system-packages (4.54kB): SHA256:707a048ef88dfb0555c577ac4487248fb7f3e369dbd046dcfb7b1ea8a84d3495
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
opam-switch (111kB): SHA256:0b92845755cdcdb490f03d44ea6e071449f132209fe70c7f746d5a1fc70c36cb

Reproduced by 1 builds

on debian-12, same input, 2025-07-11 09:39:04Z

Comparisons with other builds on the same platform

Earlier build with different output 2025-07-10 09:15:52Z

?