Job modulectomy

Build 2024-09-13 14:28:09Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.49MB): SHA256:71414621da107142fbf68608e87a4d03550117bcf2822d20d050af4a3dbc8479
system-packages (4.21kB): SHA256:7c8ce49d996b714672c39871da09ab4913cd041ee55eed445f4bcbb826d46844
build-environment (318B): SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
opam-switch (43.9kB): SHA256:c91b4f1e991450bbe4aceb040bb3de0e0aee05bbed203adfef6c374b7bcb2440

Reproduced by 18 builds

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, 2025-01-11 18:43:59Z
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

Comparisons with other builds on the same platform

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

?