Job modulectomy

Build 2025-01-10 19:19:26Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.49MB): SHA256:71414621da107142fbf68608e87a4d03550117bcf2822d20d050af4a3dbc8479
system-packages (4.24kB): SHA256:fd6d2d12a67936921c9d647c12d40dd89083d1ee58c37049d38a48666aba8395
build-environment (318B): SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
opam-switch (44.3kB): SHA256:f268f43b7e3a754acff02adf1e6e57ff0d139169911244feda82bc6ccb13dc05

Reproduced by 41 builds

on debian-12, same input, 2025-01-11 18:43:59Z
on debian-12, same input, 2025-01-09 19:01:15Z
on debian-12, same input, 2025-01-08 18:43:55Z
on debian-12, same input, 2025-01-07 19:19:38Z
on debian-12, same input, 2025-01-06 19:01:34Z
on debian-12, same input, 2025-01-05 18:43:52Z
on debian-12, same input, 2025-01-04 19:19:36Z
on debian-12, same input, 2025-01-03 19:01:42Z
on debian-12, same input, 2025-01-02 18:43:49Z
on debian-12, same input, 2025-01-01 19:20:20Z
on debian-12, same input, 2024-12-31 19:01:43Z
on debian-12, same input, 2024-12-30 18:43:46Z
on debian-12, same input, 2024-12-29 19:20:06Z
on debian-12, same input, 2024-12-28 19:01:49Z
on debian-12, same input, 2024-12-27 18:43:43Z
on debian-12, same input, 2024-12-26 19:19:44Z
on debian-12, same input, 2024-12-25 19:02:13Z
on debian-12, same input, 2024-12-24 18:43:40Z
on debian-12, same input, 2024-12-23 19:20:20Z
on debian-12, same input, 2024-12-22 19:01:27Z
on debian-12, same input, 2024-12-21 18:43:37Z
on debian-12, same input, 2024-12-20 19:15:35Z
on debian-12, same input, 2024-12-19 19:01:29Z
on debian-12, different input, 2025-02-05 09:19:07Z
on debian-12, different input, 2025-01-26 08:59:01Z
on debian-12, different input, 2025-01-25 09:34:27Z
on debian-12, different input, 2025-01-21 09:19:00Z
on debian-12, different input, 2025-01-20 09:07:22Z
on debian-12, different input, 2025-01-13 19:19:15Z
on debian-12, different input, 2024-12-18 18:43:34Z
on debian-12, different input, 2024-12-16 19:01:21Z
on debian-12, different input, 2024-12-04 19:01:19Z
on debian-12, different input, 2024-11-28 19:00:57Z
on debian-12, different input, 2024-11-24 18:43:10Z
on debian-12, different input, 2024-11-17 14:09:57Z
on debian-12, different input, 2024-11-08 14:09:30Z
on debian-12, different input, 2024-11-03 14:28:04Z
on debian-12, different input, 2024-10-03 14:09:02Z
on debian-12, different input, 2024-09-18 14:09:22Z
on debian-12, different input, 2024-09-17 14:04:24Z
on debian-12, different input, 2024-09-13 14:28:09Z

Comparisons with other builds on the same platform

Latest build 2025-06-21 09:14:03Z
Later build with different output 2025-02-06 09:33:38Z
Earlier build with different output 2024-09-12 14:09:22Z