Job builder

Build 2025-12-18 09:25:32Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.36MB): SHA256:3ef2ef37e5d8deaa33e7d1f8e51b3a38a147cb8c832da47ff2dca13cd0d1a295
opam-switch (112kB): SHA256:00bbef6174c1cf20fd94ebe5d04dadf82e4f0fd1780d921aedeb03819934238c
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.54kB): SHA256:db9b2835d8034c643ff5036626003cc9b6a9f82c97bd2a3f015729deb404169a

Reproduced by 13 builds

on debian-12, same input, 2025-12-26 09:30:49Z
on debian-12, same input, 2025-12-25 09:31:26Z
on debian-12, same input, 2025-12-24 09:26:55Z
on debian-12, same input, 2025-12-23 09:30:35Z
on debian-12, same input, 2025-12-22 09:30:14Z
on debian-12, same input, 2025-12-21 09:26:47Z
on debian-12, same input, 2025-12-20 09:30:15Z
on debian-12, same input, 2025-12-19 09:29:02Z
on debian-12, same input, 2025-12-17 09:28:32Z
on debian-12, same input, 2025-12-16 09:27:56Z
on debian-12, different input, 2025-12-15 09:23:37Z
on debian-12, different input, 2025-12-09 09:22:00Z
on debian-12, different input, 2025-12-01 09:23:58Z

Comparisons with other builds on the same platform

Latest build 2025-12-26 09:30:49Z
Earlier build with different output 2025-11-26 09:23:58Z

?