Job modulectomy

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

Platform	Duration	Execution Result
debian-12	4min38s.	exited 0

Build info

Console output -->

Build script -->

Build artifacts

bin/modulectomy.deb (1.52MB): SHA256:abd97afad6c2bcb88d41d58a489b2eaaba083418fa6aab8d7091b96de8352d4e
opam-switch (42.6kB): SHA256:51ecb051e26a159060ed6b6b3be3ccedbaa9985b99a44d094dbf81f51402f7df
build-environment (318B): SHA256:8fd2b1ae0df9102c8caf10c152c403a3a16dcc9e32e1e7d984eedb46569c6ea9
system-packages (4.4kB): SHA256:c654f56bd3dd5a4022d75d0a2b5982b31835e570ba156462153a09b16b548a3b

Reproduced by 1 builds

on debian-12, same input, 2026-02-18 09:49:57Z

Comparisons with other builds on the same platform

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

?