Job modulectomy

Build 2025-12-19 09:23:23Z

Platform	Duration	Execution Result
debian-12	4min13s.	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 5 builds

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

Earlier build with different output 2025-11-26 09:32:01Z

?