Job modulectomy

Build 2025-07-12 09:14:52Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.43MB): SHA256:735080752feb94b6c10b51b157efa215960aa632477257475385a657f819b70e
system-packages (4.37kB): SHA256:2099c2cea1630d03257b72237158dcea6f107ed287d9bb8a83cea0618b2fb577
build-environment (318B): SHA256:8051bee623760d148ee802964b65374252d76abd6b4238cbcf67d55de7a92e19
opam-switch (42.1kB): SHA256:971d7ba9fcb623163f481159907c7f040c552b395fe201875477cb31587f89ad

Reproduced by 3 builds

on debian-11, same input, 2025-07-13 09:13:56Z
on debian-11, same input, 2025-07-11 09:16:16Z
on debian-11, different input, 2025-07-10 09:27:54Z

Comparisons with other builds on the same platform

Latest build 2025-07-13 09:13:56Z
Earlier build with different output 2025-07-04 09:06:17Z

?