Job albatross

Build 2025-12-19 09:36:59Z

Platform	Duration	Execution Result
debian-12	4min22s.	exited 31

Build info

Console output -->

Build script -->

Build artifacts

opam-switch (123kB): SHA256:4108a1d425ab5b0dc24389b5b3e179d0774418419c6317108f54c3d5335d4530
build-environment (316B): SHA256:49ecf257509dec3c17045ee800d8190a0e0159c29a4148b5145bf675f4a7867d
system-packages (4.68kB): SHA256:a239e7ee5de85175049dfdfab072b5f1e1be91e24aa9dc95ac5b183f2a1b74a4

Reproduced by 0 builds

Comparisons with other builds on the same platform

Latest build 2025-12-25 10:38:57Z

?