Job modulectomy

Build 2025-12-26 09:36:13Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.53MB): SHA256:58b6214489618aab9b5d2e266d3b8843192a2551f2c06f63244d123a3bec907c
opam-switch (42.6kB): SHA256:faea84619a9619677d13eb09e666e86743ef2df02f25ca5c16143486da146b4e
build-environment (318B): SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
system-packages (4.4kB): SHA256:2e3bf97cd3029bb8213b86c7951659d3c8edc1669097efbc06a3eb9dd28fffba

Reproduced by 13 builds

on debian-12, same input, 2025-12-27 09:35:56Z
on debian-12, same input, 2025-12-25 09:24:40Z
on debian-12, same input, 2025-12-24 09:40:30Z
on debian-12, same input, 2025-12-23 09:32:54Z
on debian-12, same input, 2025-12-22 09:24:29Z
on debian-12, same input, 2025-12-21 09:38:50Z
on debian-12, same input, 2025-12-20 09:36:12Z
on debian-12, same input, 2025-12-19 09:23:23Z
on debian-12, same input, 2025-12-18 09:40:33Z
on debian-12, same input, 2025-12-17 09:32:12Z
on debian-12, same input, 2025-12-16 09:22:19Z
on debian-12, different input, 2025-12-15 09:36:01Z
on debian-12, different input, 2025-12-08 09:32:52Z

Comparisons with other builds on the same platform

Latest build 2025-12-27 09:35:56Z
Earlier build with different output 2025-11-26 09:32:01Z

?