Job modulectomy

Build 2025-07-28 09:47:32Z

PlatformDurationExecution Result
debian-114min16s.exited 0

Build info

Build artifacts

bin/modulectomy.deb (1.43MB)
SHA256:735080752feb94b6c10b51b157efa215960aa632477257475385a657f819b70e
system-packages (4.37kB)
SHA256:b0ca6d997127d56124be98901c155dba27865cb1eee0593c652a029042b0d0e9
build-environment (318B)
SHA256:8051bee623760d148ee802964b65374252d76abd6b4238cbcf67d55de7a92e19
opam-switch (42.3kB)
SHA256:773d3ea1b66609f706450801a857371e92401754a6d6b7de62156c977894d750

Reproduced by 5 builds

Comparisons with other builds on the same platform


?