Job modulectomy

Build 2026-02-19 10:12:32Z

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

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.53MB): SHA256:13e6515c75538fe9b825a3f6150f379f5ca3cb01ad1fc1629866e17c5d417ea8
opam-switch (42.6kB): SHA256:51ecb051e26a159060ed6b6b3be3ccedbaa9985b99a44d094dbf81f51402f7df
build-environment (318B): SHA256:27bdcb43014ed7a07004df8036d6c182927048d0f9e072e144a7e882749f5559
system-packages (4.2kB): SHA256:6fa06119d4adaac43a38502decb9586a590f2392621c0887e6d112ea6e64edb8

Reproduced by 1 builds

on debian-13, different input, 2026-02-18 09:49:58Z

Comparisons with other builds on the same platform

Earlier build with different output 2026-02-16 10:06:18Z

?