Job modulectomy

Build 2026-02-22 10:06:18Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.53MB): SHA256:d2aa789fae9611d2437f8bbb48d5efe22026d0c2a597608255e27465997c15c1
opam-switch (42.6kB): SHA256:73d5483e51c66b815dbd6db09f63a55cebdbafc141335d8f865916d03de25fb5
build-environment (318B): SHA256:27bdcb43014ed7a07004df8036d6c182927048d0f9e072e144a7e882749f5559
system-packages (4.2kB): SHA256:6fa06119d4adaac43a38502decb9586a590f2392621c0887e6d112ea6e64edb8

Reproduced by 2 builds

on debian-13, same input, 2026-02-21 09:57:27Z
on debian-13, same input, 2026-02-20 09:41:01Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-02-19 10:12:32Z

?