Job builder

Build 2026-09-18 10:29:36Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.44MB): SHA256:0cb2d036e374f3877d1551a2642c3ce6875554657cc2ad60d3f62b8b49b5109e
opam-switch (115kB): SHA256:0fc088c92eedc2c0af30c2aca21e2484eacabba1ce3bbb09f7c99967b97cf0e7
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.63kB): SHA256:b96439affffde3d52a9b2f88c2ce3c9d67ca49bed435e30ad75f6c1613f3be4e

Reproduced by 2 builds

on debian-12, same input, 2026-09-19 10:38:25Z
on debian-12, different input, 2026-09-17 10:23:01Z

Comparisons with other builds on the same platform

Latest build 2026-09-19 10:38:25Z
Earlier build with different output 2026-09-13 10:39:18Z

?