Job modulectomy

Build 2025-12-02 09:31:56Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.53MB): SHA256:ed29ea4365e7d6395da283301d987db1a811bef6931f0b5d4fdd951fa1eb0cef
opam-switch (42.5kB): SHA256:2e3306cf44103f88727cec9832ec7b90f672e68c9e470a6e0ad8004226ee3d23
build-environment (318B): SHA256:27bdcb43014ed7a07004df8036d6c182927048d0f9e072e144a7e882749f5559
system-packages (4.16kB): SHA256:32b802b600263bab853d4390cf9b484e4da751ee6a71491ccbf688817159b03c

Reproduced by 5 builds

on debian-13, same input, 2025-12-06 09:34:37Z
on debian-13, same input, 2025-12-01 09:18:31Z
on debian-13, same input, 2025-11-30 09:34:12Z
on debian-13, same input, 2025-11-29 09:32:48Z
on debian-13, same input, 2025-11-27 09:31:48Z

Comparisons with other builds on the same platform

Latest build 2025-12-06 09:34:37Z
Earlier build with different output 2025-11-26 09:32:01Z

?