Job modulectomy

Build 2026-01-18 09:29:38Z

Platform	Duration	Execution Result
debian-12	4min39s.	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:6973cc80bac1fc1f66949a50c66cb776ac0e037d25eb015e0abb6fea6d6f1330

Reproduced by 4 builds

on debian-12, same input, 2026-01-20 10:09:06Z
on debian-12, same input, 2026-01-19 09:45:29Z
on debian-12, same input, 2026-01-17 10:01:53Z
on debian-12, different input, 2026-01-16 09:38:34Z

Comparisons with other builds on the same platform

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

?