Job builder

Build 2026-01-17 09:52:50Z

Platform	Duration	Execution Result
debian-13	5min20s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.41MB): SHA256:d6c28ec4b0637577d84aa7b72a9a710e0775f64bdb471a63c08afd2d3829c18a
opam-switch (112kB): SHA256:baf8136e90ae7292e3c9bb7f343362a48221b451b949fb3bb04b621a69a310a5
build-environment (314B): SHA256:95ed1151de0fe848215f8b4cfe843d745f16e7734e3a4c1cab187547c30802e2
system-packages (4.33kB): SHA256:2f50ce46f6512242ab983b637f0cda1d2e82e183877dffa5ef233299d7071c47

Reproduced by 1 builds

on debian-13, different input, 2026-01-16 09:29:28Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-01-12 09:43:55Z

?