Job modulectomy

Build 2026-08-31 10:28:12Z

Platform	Duration	Execution Result
debian-13	3min52s.	exited 40

Build info

Console output -->

Build script -->

Build artifacts

opam-switch (40.2kB): SHA256:691a629a2f65c9fef6dfb356a3919786ebb512fb916a8d13bd3047d3789c6b5f
build-environment (318B): SHA256:27bdcb43014ed7a07004df8036d6c182927048d0f9e072e144a7e882749f5559
system-packages (4.42kB): SHA256:9c3ef802241f6a2a89741b66c5d31f9c22b4afe88ae961ec6f804c539d4e2413

?