Job modulectomy

Build 2025-09-01 09:29:53Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.5MB): SHA256:da21da0d9f8c16dc00679511ff032eaa3705e28065ec982be6a9808b6a374a15
system-packages (4.4kB): SHA256:12707fd570307ebbd81b412045451a395473f45fcacf8c883da6915bb73dc494
build-environment (318B): SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
opam-switch (42.3kB): SHA256:589c816e236ce677ad9dc802eb1e4be505e07eea23b5b61ff3bbf5b20775e5a2

Reproduced by 16 builds

on debian-12, same input, 2025-09-06 09:11:25Z
on debian-12, same input, 2025-09-05 09:47:19Z
on debian-12, same input, 2025-09-04 09:29:39Z
on debian-12, same input, 2025-09-03 11:21:44Z
on debian-12, same input, 2025-09-02 09:50:12Z
on debian-12, same input, 2025-08-30 09:45:08Z
on debian-12, same input, 2025-08-29 09:29:51Z
on debian-12, different input, 2025-09-22 09:23:38Z
on debian-12, different input, 2025-09-16 09:18:35Z
on debian-12, different input, 2025-09-09 09:11:37Z
on debian-12, different input, 2025-08-28 09:10:51Z
on debian-12, different input, 2025-08-26 09:28:25Z
on debian-12, different input, 2025-08-20 09:29:05Z
on debian-12, different input, 2025-08-12 09:46:20Z
on debian-12, different input, 2025-08-08 09:28:00Z
on debian-12, different input, 2025-07-30 09:27:40Z

Comparisons with other builds on the same platform

Latest build 2026-03-14 09:52:26Z
Later build with different output 2025-09-23 09:28:24Z
Earlier build with different output 2025-07-28 09:47:09Z

?