Job builder

Build 2024-11-29 18:43:14Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.32MB): SHA256:a6d2ec21a87d55d7e7bbf7a9bc69e56b36d8cc5c2660218bdaab178fab37e455
system-packages (4.37kB): SHA256:7645171b5f1633b015aa6ad5b4881173b506ac1eb509020401de536f32a7652e
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
opam-switch (113kB): SHA256:e9def3d36bba44e39c1d10f515cde96477ec84cf1a50201f57acdb0cda059996

Reproduced by 9 builds

on debian-12, same input, 2024-12-04 19:19:04Z
on debian-12, same input, 2024-12-03 19:03:43Z
on debian-12, same input, 2024-12-02 18:43:17Z
on debian-12, same input, 2024-12-01 19:18:53Z
on debian-12, same input, 2024-11-30 19:03:43Z
on debian-12, different input, 2024-12-16 19:19:23Z
on debian-12, different input, 2024-12-05 18:43:20Z
on debian-12, different input, 2024-11-28 19:18:26Z
on debian-12, different input, 2024-11-23 18:43:09Z

Comparisons with other builds on the same platform

Latest build 2025-06-30 09:01:53Z
Later build with different output 2024-12-17 18:43:33Z
Earlier build with different output 2024-11-15 14:05:59Z

?