Job modulectomy

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

Platform	Duration	Execution Result
debian-12	3min55s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.53MB): SHA256:58b6214489618aab9b5d2e266d3b8843192a2551f2c06f63244d123a3bec907c
opam-switch (42.6kB): SHA256:faea84619a9619677d13eb09e666e86743ef2df02f25ca5c16143486da146b4e
build-environment (318B): SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
system-packages (4.4kB): SHA256:6973cc80bac1fc1f66949a50c66cb776ac0e037d25eb015e0abb6fea6d6f1330

Reproduced by 3 builds

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

Comparisons with other builds on the same platform

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

?