Job builder

Build 2024-11-20 18:43:06Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.32MB): SHA256:a6d2ec21a87d55d7e7bbf7a9bc69e56b36d8cc5c2660218bdaab178fab37e455
system-packages (4.37kB): SHA256:903ef643acaf9c496aa8762bffe2c1fcf681c9fc29beebacc6a3454314f6ddf1
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
opam-switch (113kB): SHA256:3f5592ab83b389de2c8161213a58a22f804e9ae71aee0ae89993d09f4558b8c4

Reproduced by 9 builds

on debian-12, same input, 2024-11-23 18:43:09Z
on debian-12, same input, 2024-11-22 19:18:44Z
on debian-12, same input, 2024-11-21 19:03:45Z
on debian-12, same input, 2024-11-20 15:11:33Z
on debian-12, same input, 2024-11-16 14:11:01Z
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-12-04 19:19:04Z
on debian-12, different input, 2024-11-28 19:18:26Z

Comparisons with other builds on the same platform

Latest build 2025-07-08 09:38:38Z
Later build with different output 2024-12-17 18:43:33Z
Earlier build with different output 2024-11-15 14:05:59Z

?