Job builder

Build 2026-10-01 10:42:57Z

Platform	Duration	Execution Result
debian-12	4min28s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.44MB): SHA256:7ce7c99b4d96fbf05de62c54a8fc1e888181c5966370da06d712e07526a646cb
opam-switch (115kB): SHA256:9ca7199efb24240d8f6f0d7ba89de0947b5ea57e3911c8827d9e62dc5f354e37
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.63kB): SHA256:9a90a409e4b5c8b7657acbe524e9f00648602392d06d45b045500db4d99c206d

Reproduced by 2 builds

on debian-12, different input, 2026-09-30 10:32:13Z
on debian-12, different input, 2026-09-25 10:39:15Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-09-24 10:29:02Z

?