Job builder

Build 2024-07-17 14:03:55Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.67MB): SHA256:428041239136f38abdd1f983b523b097477086327669f1075ab091b72f74140c
system-packages (4.35kB): SHA256:f0087310a0a9e734a41a9d74abb24556636e837c2a525fc2efd363b37078e9d9
build-environment (302B): SHA256:0f4f5e3db6fbb99956779a1434bedb7a976cf81b015a902d9024c1161909a214
opam-switch (114kB): SHA256:0f0cb5de149e0024588975d9c7bfb9bb9a8868ddc92bebde070742a5d5ccc027

Reproduced by 4 builds

on debian-12, same input, 2024-07-20 13:57:08Z
on debian-12, same input, 2024-07-19 14:25:01Z
on debian-12, same input, 2024-07-18 14:24:05Z
on debian-12, different input, 2024-07-16 14:31:32Z

Comparisons with other builds on the same platform

Latest build 2025-06-25 09:11:14Z
Later build with different output 2024-07-21 14:17:15Z
Earlier build with different output 2024-07-15 10:41:56Z

?