Job modulectomy

Build 2026-11-12 10:44:46Z

Platform	Duration	Execution Result
debian-13	4min27s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.55MB): SHA256:bc6a93288467f9a7ab9b7687bc15f96a5801305a092ea5b527c5fc200a51475f
opam-switch (42.2kB): SHA256:ec1f14979006b9573feab5a23cfee3e607cb034658c4a135afa985985d546c36
build-environment (318B): SHA256:27bdcb43014ed7a07004df8036d6c182927048d0f9e072e144a7e882749f5559
system-packages (4.48kB): SHA256:18be3c26c42446d52d560860157e75ffda11ac389de70312eabaa7f7c4a1a2e0

Reproduced by 2 builds

on debian-13, different input, 2026-11-11 10:40:36Z
on debian-13, different input, 2026-11-08 10:40:14Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-11-07 10:42:03Z

?