Job builder

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

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.44MB): SHA256:2beaf5a0d135a7c793b9eecf28a12b79ff531b48cb3ef44e4c163afac5d35ec7
opam-switch (115kB): SHA256:9818fae2c3ad58dc64ecbc0814c07218291b2ba7aca4c599ed7f36ff3b2e66c9
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.54kB): SHA256:a82890374ac57baa743e8a2afb2e3d8955958bbb22607a866d933329eb2e3ec1

Reproduced by 2 builds

on debian-12, same input, 2026-07-11 21:29:15Z
on debian-12, different input, 2026-07-10 10:17:35Z

Comparisons with other builds on the same platform

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

?