Job modulectomy

Build 2025-12-09 09:34:26Z

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

Build info

Console output -->

Build script -->

Build artifacts

opam-switch (40.7kB): SHA256:84fe1661c08e7c16a449c26a1188ecd8f7cf7c751e442d3876a3f59a8b1216a0
build-environment (318B): SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
system-packages (4.4kB): SHA256:e82f921557d4c0e65c0d21c59fed4586a573d94036d1f6e468e6d5d5d5d0d546

Reproduced by 0 builds

Comparisons with other builds on the same platform

Latest build 2025-12-19 09:23:23Z

?