Job builder

Build 2026-02-02 10:07:39Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.38MB): SHA256:b62122bdb338ec31b8be368188117cb57bc18452c6b1ff164e589d7bc8412f07
opam-switch (112kB): SHA256:baf8136e90ae7292e3c9bb7f343362a48221b451b949fb3bb04b621a69a310a5
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.54kB): SHA256:e913115a79ca6f45d80572f69a84736f120cab483375d4f356805f4c4ce46c1b

Reproduced by 6 builds

on debian-12, same input, 2026-02-01 09:55:32Z
on debian-12, same input, 2026-01-31 09:33:17Z
on debian-12, same input, 2026-01-30 10:20:39Z
on debian-12, same input, 2026-01-29 09:54:00Z
on debian-12, different input, 2026-01-28 09:30:40Z
on debian-12, different input, 2026-01-16 09:29:28Z

Comparisons with other builds on the same platform

Latest build 2026-02-08 10:08:20Z
Later build with different output 2026-02-03 09:31:24Z
Earlier build with different output 2026-01-12 09:43:19Z

?