Job modulectomy

Build 2024-07-07 14:19:17Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.48MB): SHA256:e735e7bf192db9bb884c518e00d444cd1993c31dd641c9c78e8846142fcef59d
system-packages (4.22kB): SHA256:97e64bd227c06c47e476272b4bfb840cba571943c42decd8a1656b33c5cf48b5
build-environment (306B): SHA256:1c8ae0114b7d2677a87f33453d965d2c74e9e1deeee25ab907fb291901ad84bf
opam-switch (44kB): SHA256:dfcd3fc19dc697ecc28131f27ce6344b39d22d9fd6614dec91fe3de35ffe2f70

Reproduced by 11 builds

on debian-12, same input, 2024-07-08 14:26:18Z
on debian-12, same input, 2024-07-06 14:03:12Z
on debian-12, different input, 2024-09-03 14:08:42Z
on debian-12, different input, 2024-08-30 14:04:02Z
on debian-12, different input, 2024-08-26 14:28:52Z
on debian-12, different input, 2024-08-16 14:02:22Z
on debian-12, different input, 2024-08-07 14:40:11Z
on debian-12, different input, 2024-07-31 14:05:24Z
on debian-12, different input, 2024-07-16 14:13:10Z
on debian-12, different input, 2024-07-05 14:32:21Z
on debian-12, different input, 2024-06-28 14:12:45Z

Comparisons with other builds on the same platform

Latest build 2025-07-05 09:15:55Z
Later build with different output 2024-09-04 14:28:27Z

?