Job builder

Build 2025-01-13 18:44:01Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.33MB): SHA256:f09c4a10e2d3d7806052b72d639bc009162bc54305c1b837ffa3c2d35dbc50fb
system-packages (4.38kB): SHA256:bfa3bb6c2b00e1f8cb065fdb75dd9df2305efb6957e4c8f9e732c19585b5b1c3
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
opam-switch (114kB): SHA256:9486a557437945ffb007ffe71dab271d867365cc4653346430007397eec04ca3

Reproduced by 5 builds

on debian-12, same input, 2025-01-12 19:19:00Z
on debian-12, different input, 2025-01-11 19:04:18Z
on debian-12, different input, 2025-01-10 18:43:58Z
on debian-12, different input, 2024-12-18 19:03:58Z
on debian-12, different input, 2024-12-17 18:43:33Z

Comparisons with other builds on the same platform

Latest build 2025-06-24 09:01:46Z
Later build with different output 2025-01-20 09:25:41Z
Earlier build with different output 2024-12-16 19:19:23Z

?