Job modulectomy

Build 2025-07-29 09:09:18Z

Platform	Duration	Execution Result
debian-11	4min24s.	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:20ceeb7ac5e158cd168cb752c5490714774ad2b4544e8272557a3a14f56bcd83

Reproduced by 1 builds

on debian-11, same input, 2025-07-31 09:46:30Z

Comparisons with other builds on the same platform

Latest build 2025-07-31 09:46:30Z
Earlier build with different output 2025-07-28 09:47:32Z

?