Job builder

Build 2026-08-16 10:24:02Z

Platform	Duration	Execution Result
debian-13	4min30s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.46MB): SHA256:c4c52679603e1645536f234c2d174122cc77fb6bb2b0c0a1551c37691096c8b3
opam-switch (115kB): SHA256:bd1cc2dda451306342cf81efe80a28a3ceb7b3bf8f547a60a9ef3c6012056657
build-environment (314B): SHA256:95ed1151de0fe848215f8b4cfe843d745f16e7734e3a4c1cab187547c30802e2
system-packages (4.55kB): SHA256:04fc105f22106709e393fb484f97f4994655af8f4847f66b326268d3512f75d4

Reproduced by 2 builds

on debian-13, different input, 2026-08-15 10:17:57Z
on debian-13, different input, 2026-08-13 10:23:32Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-08-07 10:22:26Z

?