Job modulectomy

Build 2025-08-28 09:11:02Z

Platform	Duration	Execution Result
debian-11	4min28s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.44MB): SHA256:08d16d35322f35b5166667d472c7888b385e763df78c5cf5a29103a51f741425
system-packages (4.37kB): SHA256:b0ca6d997127d56124be98901c155dba27865cb1eee0593c652a029042b0d0e9
build-environment (318B): SHA256:8051bee623760d148ee802964b65374252d76abd6b4238cbcf67d55de7a92e19
opam-switch (42.3kB): SHA256:589c816e236ce677ad9dc802eb1e4be505e07eea23b5b61ff3bbf5b20775e5a2

Reproduced by 2 builds

on debian-11, different input, 2025-08-26 09:26:14Z
on debian-11, different input, 2025-08-20 09:29:30Z

Comparisons with other builds on the same platform

Earlier build with different output 2025-07-28 09:47:32Z

?