Job modulectomy

Build 2026-01-11 09:43:09Z

Platform	Duration	Execution Result
debian-13	3min51s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.53MB): SHA256:ed29ea4365e7d6395da283301d987db1a811bef6931f0b5d4fdd951fa1eb0cef
opam-switch (42.6kB): SHA256:faea84619a9619677d13eb09e666e86743ef2df02f25ca5c16143486da146b4e
build-environment (318B): SHA256:27bdcb43014ed7a07004df8036d6c182927048d0f9e072e144a7e882749f5559
system-packages (4.2kB): SHA256:f15bdbe7efe3f616e7e0c0385b0c2621c2bbbd1c82e3ffe60915e52075e0108c

Reproduced by 3 builds

on debian-13, different input, 2026-01-10 09:38:02Z
on debian-13, different input, 2025-12-15 09:36:03Z
on debian-13, different input, 2025-12-08 09:32:53Z

Comparisons with other builds on the same platform

Earlier build with different output 2025-11-26 09:32:01Z

?