Job builder

Build 2024-08-24 14:09:57Z

Platform	Duration	Execution Result
debian-12	6min10s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.68MB): SHA256:f8bc2c9cb66a2ad6589256017c8c1de7ec1286eec2f69139250e26789e555837
system-packages (4.36kB): SHA256:a7e752d144870a4492fe5abc0aeefcd0e9dce7155cefcbf0f77f8ce0f7bf30a3
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
opam-switch (114kB): SHA256:c89b8892c383536cf31bedc05c973091aa5cc49da8d19554cb24759cdad93e9c

Reproduced by 5 builds

on debian-12, same input, 2024-08-25 14:26:07Z
on debian-12, same input, 2024-08-23 14:05:17Z
on debian-12, same input, 2024-08-22 14:25:58Z
on debian-12, different input, 2024-08-21 14:09:47Z
on debian-12, different input, 2024-08-16 14:19:33Z

Comparisons with other builds on the same platform

Latest build 2025-06-25 09:11:14Z
Later build with different output 2024-08-26 14:05:24Z
Earlier build with different output 2024-08-15 14:09:38Z

?