Job builder

Build 2025-12-21 09:26:47Z

Platform	Duration	Execution Result
debian-13	5min9s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.39MB): SHA256:9cb2021483dbab548eaf9c873d83ac00336d4ad1d270c686c08cc29484ca3354
opam-switch (112kB): SHA256:00bbef6174c1cf20fd94ebe5d04dadf82e4f0fd1780d921aedeb03819934238c
build-environment (314B): SHA256:95ed1151de0fe848215f8b4cfe843d745f16e7734e3a4c1cab187547c30802e2
system-packages (4.29kB): SHA256:7fdbd253b2a5ab2aef4bb68bf1a61d347fa7f34769715b3942cd41251a0ebba7

Reproduced by 13 builds

on debian-13, same input, 2025-12-26 09:31:53Z
on debian-13, same input, 2025-12-25 09:30:20Z
on debian-13, same input, 2025-12-24 09:26:50Z
on debian-13, same input, 2025-12-23 09:30:57Z
on debian-13, same input, 2025-12-22 09:30:26Z
on debian-13, same input, 2025-12-20 09:29:29Z
on debian-13, same input, 2025-12-19 09:29:02Z
on debian-13, same input, 2025-12-18 09:25:33Z
on debian-13, same input, 2025-12-17 09:28:31Z
on debian-13, same input, 2025-12-16 09:27:56Z
on debian-13, different input, 2025-12-15 09:23:38Z
on debian-13, different input, 2025-12-09 09:21:53Z
on debian-13, different input, 2025-12-01 09:23:59Z

Comparisons with other builds on the same platform

Latest build 2025-12-26 09:31:53Z
Earlier build with different output 2025-11-26 09:24:01Z

?