Job modulectomy

Build 2024-06-30 14:03:07Z

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

Build info

Console output -->

Build script -->

Build artifacts

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

Reproduced by 15 builds

on debian-12, same input, 2024-07-05 14:32:21Z
on debian-12, same input, 2024-07-04 14:12:57Z
on debian-12, same input, 2024-07-03 13:56:54Z
on debian-12, same input, 2024-07-02 14:26:22Z
on debian-12, same input, 2024-07-01 14:19:11Z
on debian-12, same input, 2024-06-29 14:31:58Z
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-08 14:26:18Z
on debian-12, different input, 2024-06-28 14:12:45Z

Comparisons with other builds on the same platform

Latest build 2025-07-03 09:14:17Z
Later build with different output 2024-09-04 14:28:27Z

?