Job modulectomy

Build 2025-07-30 09:27:40Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.5MB): SHA256:da21da0d9f8c16dc00679511ff032eaa3705e28065ec982be6a9808b6a374a15
system-packages (4.4kB): SHA256:f0b32394b7ee8457b903b454ee8536abedfff59d3bbef60913cd2787060aa81c
build-environment (318B): SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
opam-switch (42.3kB): SHA256:20ceeb7ac5e158cd168cb752c5490714774ad2b4544e8272557a3a14f56bcd83

Reproduced by 2 builds

on debian-12, same input, 2025-07-29 09:09:08Z
on debian-12, different input, 2025-07-31 09:46:52Z

Comparisons with other builds on the same platform

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

?