Job modulectomy

Build 2025-11-18 09:36:14Z

Platform	Duration	Execution Result
debian-13	3min20s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

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

Reproduced by 3 builds

on debian-13, same input, 2025-11-17 09:22:57Z
on debian-13, different input, 2025-11-16 09:15:21Z
on debian-13, different input, 2025-11-05 09:21:33Z

Comparisons with other builds on the same platform

?