Job builder

Build 2025-07-30 09:09:18Z

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

Build info

Console output -->

Build script -->

Build artifacts

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

Reproduced by 2 builds

on debian-12, same input, 2025-07-29 09:46:57Z
on debian-12, different input, 2025-07-31 09:26:22Z

Comparisons with other builds on the same platform

Latest build 2025-07-31 09:26:22Z
Earlier build with different output 2025-07-28 09:26:43Z

?