Job builder

Build 2025-08-20 09:10:22Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.32MB): SHA256:d9387bb61ad1bac3b1c51d2e48df8592bc54cfb6943548a912266c39f48d9f7e
system-packages (4.54kB): SHA256:11d712ec41b66a560b1c59de1cb663229f5a15318e5dfcb88ccf046a03c281a1
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
opam-switch (111kB): SHA256:5645d5de99339c20aa71f0d4ae8734d653188a3d864a1875060fe8609a8acb24

Reproduced by 10 builds

on debian-12, same input, 2025-08-19 09:47:47Z
on debian-12, same input, 2025-08-18 09:27:15Z
on debian-12, same input, 2025-08-17 09:10:08Z
on debian-12, same input, 2025-08-16 09:47:36Z
on debian-12, same input, 2025-08-15 09:27:01Z
on debian-12, same input, 2025-08-14 09:09:57Z
on debian-12, same input, 2025-08-13 09:47:15Z
on debian-12, different input, 2025-08-22 09:43:11Z
on debian-12, different input, 2025-08-12 09:26:50Z
on debian-12, different input, 2025-08-08 09:09:38Z

Comparisons with other builds on the same platform

Latest build 2025-08-31 09:43:28Z
Later build with different output 2025-08-24 09:23:57Z
Earlier build with different output 2025-08-02 09:09:26Z

?