Job modulectomy

Build 2025-11-18 09:30:21Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.54MB): SHA256:566739664378f741326044b0f870f8a7df90dae920526e018a31e1d8d0492168
opam-switch (42.5kB): SHA256:be1d03c22763181a2fa3771e2543782d96a150e0b3e1f881516ed85d9f136991
build-environment (318B): SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
system-packages (4.4kB): SHA256:e82f921557d4c0e65c0d21c59fed4586a573d94036d1f6e468e6d5d5d5d0d546

Reproduced by 5 builds

on debian-12, same input, 2025-11-17 09:23:48Z
on debian-12, different input, 2025-11-16 09:15:21Z
on debian-12, different input, 2025-11-11 09:24:20Z
on debian-12, different input, 2025-11-05 09:20:44Z
on debian-12, different input, 2025-10-01 09:19:42Z

Comparisons with other builds on the same platform

Earlier build with different output 2025-09-29 09:28:55Z

?