Job modulectomy

Build 2026-01-17 10:01:54Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.53MB): SHA256:4eece232f0c457da70c3bf8e8306207f8c7eb7d9f7afc78fefcb18439087e8e8
opam-switch (42.6kB): SHA256:31d14a54b315879a4eeea3367c2fdac154ff9125caeba2bd81569836cbee55b9
build-environment (318B): SHA256:27bdcb43014ed7a07004df8036d6c182927048d0f9e072e144a7e882749f5559
system-packages (4.2kB): SHA256:f15bdbe7efe3f616e7e0c0385b0c2621c2bbbd1c82e3ffe60915e52075e0108c

Reproduced by 4 builds

on debian-13, same input, 2026-01-20 10:09:07Z
on debian-13, same input, 2026-01-19 09:45:35Z
on debian-13, same input, 2026-01-18 09:29:38Z
on debian-13, different input, 2026-01-16 09:38:33Z

Comparisons with other builds on the same platform

Latest build 2026-01-20 10:09:07Z
Earlier build with different output 2026-01-14 09:46:09Z

?