Job modulectomy

Build 2025-07-09 09:14:44Z

Platform	Duration	Execution Result
debian-11	4min22s.	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:ba9bf23f871b9dafa8dbbebaf9b7a76cca340d804de8a3a6a3c884724f792409

Reproduced by 4 builds

on debian-11, same input, 2025-07-08 09:16:13Z
on debian-11, same input, 2025-07-07 09:13:56Z
on debian-11, same input, 2025-07-06 09:14:49Z
on debian-11, same input, 2025-07-05 09:16:05Z

Comparisons with other builds on the same platform

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

?