Job builder

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

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

Build info

Console output -->

Build script -->

Build artifacts

bin/builder.deb (7.46MB): SHA256:dca4857ac362be1409021af3ff3a7c5d2cd119939fb738beb1d7b465451f4d11
opam-switch (112kB): SHA256:60b6a59fbee7447de136ee1401ad866ae49aea8dfdff9637202d5b69a692a750
build-environment (314B): SHA256:95ed1151de0fe848215f8b4cfe843d745f16e7734e3a4c1cab187547c30802e2
system-packages (4.39kB): SHA256:b0dd392e69e2bc42f7f5717e7f1f91b99672cdf810af80ff755110e3bd6b35d8

Reproduced by 1 builds

on debian-13, different input, 2026-05-22 10:10:48Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-05-20 10:05:11Z

?