Job modulectomy

Build 2025-10-03 11:40:01Z

Platform	Duration	Execution Result
debian-12	3min22s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.54MB): SHA256:566739664378f741326044b0f870f8a7df90dae920526e018a31e1d8d0492168
opam-switch (42.5kB): SHA256:4bdb0f96f8aee2d2e24ff2d11883f233dd6f6ac6ddc825cc6fdc995761a1ea17
build-environment (318B): SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
system-packages (4.4kB): SHA256:1df022b701d4ad85311b4205de574b764ee410e280a2a3812aae64af70988a6f

Reproduced by 3 builds

on debian-12, same input, 2025-10-04 09:19:52Z
on debian-12, same input, 2025-10-02 09:29:36Z
on debian-12, different input, 2025-10-01 09:19:42Z

Comparisons with other builds on the same platform

Latest build 2025-10-04 09:19:52Z
Earlier build with different output 2025-09-29 09:28:55Z

?