Job builder

Build 2026-04-25 09:44:16Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.42MB): SHA256:33093c9558894d6520b6298bcaa94791250a7f2996f7797542035f24270d51cf
opam-switch (112kB): SHA256:9b90cefbfb3f22c77ec48d8bc7f0757312e6fd265eb99cfd76ec0db3b48ba81e
build-environment (314B): SHA256:628a28e5ead469537fbd9ee8a2e49eb0b44378053762b322606872d2a3062bae
system-packages (4.54kB): SHA256:d9bb83891d31bfc599f04a72286aa80d359e7d0fdeb317fd00827e9a82ba0035

Reproduced by 1 builds

on debian-12, same input, 2026-04-24 10:01:22Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-04-23 09:49:15Z

?