Job builder

Build 2025-02-02 09:12:53Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.33MB): SHA256:6aec1a3e49e37e398e5b807e1da8b56020cbaa80c22307b59a77757e25403ed5
system-packages (4.38kB): SHA256:468fe6f396c1e3713bc34c51a72cb2170a4c104c8d79ff22f8b9020c3e9102cb
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
opam-switch (113kB): SHA256:89219ae22b8e1cb92dca222751d8f3e4501a326fb875cb51273c4825c5046a58

Reproduced by 9 builds

on debian-12, same input, 2025-02-01 09:11:17Z
on debian-12, same input, 2025-01-31 09:08:36Z
on debian-12, same input, 2025-01-30 09:12:58Z
on debian-12, same input, 2025-01-29 09:11:15Z
on debian-12, same input, 2025-01-28 09:08:25Z
on debian-12, same input, 2025-01-27 09:12:53Z
on debian-12, different input, 2025-01-26 09:11:11Z
on debian-12, different input, 2025-01-25 09:08:27Z
on debian-12, different input, 2025-01-21 09:12:44Z

Comparisons with other builds on the same platform

Latest build 2025-06-24 09:01:46Z
Later build with different output 2025-02-03 09:08:23Z
Earlier build with different output 2025-01-20 09:25:41Z

?