Job builder

Build 2025-12-06 09:21:31Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.36MB): SHA256:3ef2ef37e5d8deaa33e7d1f8e51b3a38a147cb8c832da47ff2dca13cd0d1a295
opam-switch (112kB): SHA256:6d845cfe5168d0f4314f940a1c0d40c77a7a4f7cacb22a6b7a25876a64dea036
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.54kB): SHA256:92452d91edaded91c902835433a2556eacdaf723ef6a66afb280975aee57dd2e

Reproduced by 2 builds

on debian-12, same input, 2025-12-02 09:25:21Z
on debian-12, different input, 2025-12-01 09:23:58Z

Comparisons with other builds on the same platform

Earlier build with different output 2025-11-26 09:23:58Z

?