Job modulectomy

Build 2025-09-26 09:28:11Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.51MB): SHA256:fd0107f5007910ede61ea9d9cf60f794119badb0df1f30acd625332284f2a76d
opam-switch (42.3kB): SHA256:8224e35293976fbbbc5e440c02a73131977e2d30e51cb5b5d27407f0be310300
build-environment (318B): SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
system-packages (4.4kB): SHA256:6e19d1e2f9a78067eb096745390d962f5751a0a0619aa1b5a593d940316fe6b8

Reproduced by 6 builds

on debian-12, same input, 2025-09-29 09:28:55Z
on debian-12, same input, 2025-09-28 09:19:26Z
on debian-12, same input, 2025-09-27 09:06:52Z
on debian-12, same input, 2025-09-25 09:19:15Z
on debian-12, same input, 2025-09-24 09:06:40Z
on debian-12, same input, 2025-09-23 09:28:24Z

Comparisons with other builds on the same platform

Latest build 2025-10-13 09:21:17Z
Later build with different output 2025-10-01 09:19:42Z
Earlier build with different output 2025-09-22 09:23:38Z

?