Job builder

Build 2026-07-12 10:23:53Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.45MB): SHA256:4e1d20b0cc545f8751a3a7d1752c6a09c32450e416fffd9bf91706fbd78d315e
opam-switch (115kB): SHA256:9818fae2c3ad58dc64ecbc0814c07218291b2ba7aca4c599ed7f36ff3b2e66c9
build-environment (314B): SHA256:95ed1151de0fe848215f8b4cfe843d745f16e7734e3a4c1cab187547c30802e2
system-packages (4.41kB): SHA256:c36429fa5799a9a9dcd0b338e57762b45278fa80d390159e6942340197d1b62d

Reproduced by 2 builds

on debian-13, same input, 2026-07-11 21:29:20Z
on debian-13, different input, 2026-07-10 10:17:36Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-07-08 10:17:49Z

?