Job modulectomy

Build 2026-02-12 09:49:08Z

Platform	Duration	Execution Result
debian-12	4min38s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.53MB): SHA256:5fc36f635bf39b56b24aced14ee51739a3bd7fe0c8392d810843d2036348d897
opam-switch (42.6kB): SHA256:31d14a54b315879a4eeea3367c2fdac154ff9125caeba2bd81569836cbee55b9
build-environment (318B): SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
system-packages (4.4kB): SHA256:c654f56bd3dd5a4022d75d0a2b5982b31835e570ba156462153a09b16b548a3b

Reproduced by 5 builds

on debian-12, same input, 2026-02-11 09:33:14Z
on debian-12, same input, 2026-02-10 10:04:45Z
on debian-12, different input, 2026-02-09 09:52:12Z
on debian-12, different input, 2026-01-27 09:37:26Z
on debian-12, different input, 2026-01-16 09:38:34Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-01-14 09:46:06Z

?